A Formal Approach to Software Product Families
| Title | A Formal Approach to Software Product Families |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Leucker, M, Thoma, D |
| Editor | Margaria, T, Steffen, B |
| Conference Name | ISoLA |
| Series | Lecture Notes in Computer Science |
| Volume | 7609 |
| Publisher | Springer |
| ISBN Number | 978-3-642-34025-3 |
| URL | http://dx.doi.org/10.1007/978-3-642-34026-0_11 |
| DOI | 10.1007/978-3-642-34026-0_11 |
Bibtex:
@inproceedings {827,
title = {A Formal Approach to Software Product Families},
booktitle = {ISoLA},
series = {Lecture Notes in Computer Science},
volume = {7609},
year = {2012},
publisher = {Springer},
organization = {Springer},
isbn = {978-3-642-34025-3},
doi = {http://dx.doi.org/10.1007/978-3-642-34026-0_11},
url = {http://dx.doi.org/10.1007/978-3-642-34026-0_11},
author = {Martin Leucker and Daniel Thoma},
editor = {Tiziana Margaria and Bernhard Steffen}
}