Browse by Eprint ID
Number of items: 1. Filippidis, Ioannis (2018) Decomposing Formal Specifications Into Assume-Guarantee Contracts for Hierarchical System Design. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/Z9Q52MTD. http://resolver.caltech.edu/CaltechTHESIS:12172017-171304566 |