Stefano Spellini, Michele Lora, Sudipta Chattopadhyay, Franco Fummi. Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress. In Aviral Shrivastava, Sudeep Pasricha, editors, Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2018, part of ESWEEK 2018, Torino, Italy, September 30 - October 5, 2018. pages 4, IEEE / ACM, 2018. [doi]
@inproceedings{SpelliniLCF18,
title = {Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress},
author = {Stefano Spellini and Michele Lora and Sudipta Chattopadhyay and Franco Fummi},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3283572},
researchr = {https://researchr.org/publication/SpelliniLCF18},
cites = {0},
citedby = {0},
pages = {4},
booktitle = {Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2018, part of ESWEEK 2018, Torino, Italy, September 30 - October 5, 2018},
editor = {Aviral Shrivastava and Sudeep Pasricha},
publisher = {IEEE / ACM},
isbn = {978-1-5386-5562-7},
}