Christian Kästner, Sven Apel
Type-Checking Software Product Lines — A Formal Approach
ASE, 2008.
@inproceedings{ASE-2008-KastnerA,
author = "Christian Kästner and Sven Apel",
booktitle = "{Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2008.36",
pages = "258--267",
publisher = "{IEEE}",
title = "{Type-Checking Software Product Lines — A Formal Approach}",
year = 2008,
}