Number of items:
1
.
Filippidis, Ioannis
(2019)
Decomposing Formal Specifications Into Assume-Guarantee Contracts for Hierarchical System Design.
Dissertation (Ph.D.), California Institute of Technology.
doi:10.7907/Z9Q52MTD.
https://resolver.caltech.edu/CaltechTHESIS:07202018-115217471
This list was generated on
Wed Dec 17 12:08:26 2025 UTC
.
