Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
Library-based scalable refinement checking for contract-based design
DATE, 2014.
@inproceedings{DATE-2014-IannopolloNTS,
author = "Antonio Iannopollo and Pierluigi Nuzzo and Stavros Tripakis and Alberto L. Sangiovanni-Vincentelli",
booktitle = "{Proceedings of the 18th Conference and Exhibition on Design, Automation and Test in Europe}",
doi = "10.7873/DATE.2014.167",
pages = "1--6",
publisher = "{IEEE}",
title = "{Library-based scalable refinement checking for contract-based design}",
year = 2014,
}