Thomas Thüm. Verification of Software Product Lines Using Contracts. In Doktorandentagung Magdeburger-Informatik-Tage (MIT). pages 75-82, University of Magdeburg, Germany, JUL 2012.
@inproceedings{Th:MIT12,
title = {Verification of Software Product Lines Using Contracts},
author = {Thomas Thüm},
year = {2012},
month = {JUL},
url = {http://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/Th:MIT12.pdf},
tags = {software product lines, contracts, software contracts},
researchr = {https://researchr.org/publication/Th%3AMIT12},
cites = {0},
citedby = {0},
pages = {75-82},
booktitle = {Doktorandentagung Magdeburger-Informatik-Tage (MIT)},
address = {Germany},
publisher = {University of Magdeburg},
isbn = {978-3-940961-73-0},
}