Integrated Formal Methods

DOI10.1007/B96106zbMath1196.68128OpenAlexW1531155000MaRDI QIDQ5901619

Marius C. Bujorianu

Publication date: 7 May 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b96106

zbMATH Keywords

process algebracategory theoryZtype theoryviewpointslanguage integration

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Categorical foundations for structured specifications in \(\mathsf{Z}\) ⋮ State constrained reachability for stochastic hybrid systems

This page was built for publication: Integrated Formal Methods