Filippidis, Ioannis

CaltechTHESIS

• PHD (2019) Decomposing Formal Specifications Into Assume-Guarantee Contracts for Hierarchical System Design; 10.7907/Z9Q52MTD

CaltechTHESIS

• Combined HTML, HTML Include, BibTeX, JSON, RSS
• Phd HTML, HTML Include, BibTeX, JSON, RSS