Ferruccio Damiani, Michael Lienhardt
On Type Checking Delta-Oriented Product Lines
IFM, 2016.
@inproceedings{IFM-2016-DamianiL,
author = "Ferruccio Damiani and Michael Lienhardt",
booktitle = "{Proceedings of the 12th International Conference on Integrated Formal Methods}",
doi = "10.1007/978-3-319-33693-0_4",
isbn = "978-3-319-33692-3",
pages = "47--62",
publisher = "{Springer}",
title = "{On Type Checking Delta-Oriented Product Lines}",
year = 2016,
}