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
