Contracts for system design, Foundations and Trends R in Electronic Design Automation, vol.12, issue.2-3, pp.124-400, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01971429
Nondeterministic modal interfaces, SOFSEM 2015: Theory and Practice of Computer Science -41st International Conference on Current Trends in Theory and Practice of Computer Science, pp.152-163, 2015. ,
Interface automata, SIGSOFT Softw. Eng. Notes, vol.26, issue.5, pp.109-120, 2001. ,
Behavioral contracts and behavioral subtyping, ACM Conference Foundations of Software Engineering, 2001. ,
An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-583, 1969. ,
Applying "design by contract", IEEE Computer, vol.25, issue.10, pp.40-51, 1992. ,
Touch of Class: Learning to Program Well Using Object Technology and Design by Contract, 2009. ,
Separation logic, Commun. ACM, vol.62, issue.2, pp.86-95, 2019. ,
A modal interface theory for component-based design, Fundamenta Informaticae, vol.108, issue.1-2, pp.119-149, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00554283