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} }