Publications
Filters: Author is Alessandro Cimatti [Clear All Filters]
, “Tightening the contract refinements of a system architecture”, Formal Methods System Design, vol. 52, pp. 88–116, 2018.
paper-798.pdf (1.67 MB)
paper-798.pdf (1.67 MB) paper-798.pdf (1.67 MB)