Philippe Collet, Alain Ozanne, Nicolas Rivierre
On contracting different behavioral properties in component-based systems
SAC, 2006.
@inproceedings{SAC-2006-ColletOR,
author = "Philippe Collet and Alain Ozanne and Nicolas Rivierre",
booktitle = "{Proceedings of the 21st Symposium on Applied Computing}",
doi = "10.1145/1141277.1141699",
editor = "Hisham Haddad",
isbn = "1-59593-108-2",
pages = "1798--1799",
publisher = "{ACM}",
title = "{On contracting different behavioral properties in component-based systems}",
year = 2006,
}