Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck
Parameterized Interfaces for Open System Verification of Product Lines
ASE, 2004.
@inproceedings{ASE-2004-BlundellFKH,
author = "Colin Blundell and Kathi Fisler and Shriram Krishnamurthi and Pascal Van Hentenryck",
booktitle = "{Proceedings of the 19th IEEE International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2004.10004",
isbn = "0-7695-2131-2",
pages = "258--267",
publisher = "{IEEE Computer Society}",
title = "{Parameterized Interfaces for Open System Verification of Product Lines}",
year = 2004,
}