Program Verification and System Dependability

DOI10.1007/978-1-84882-736-3_2zbMath1194.68154OpenAlexW186429337MaRDI QIDQ3557668

No author found.

Publication date: 23 April 2010

Published in: Formal Methods: State of the Art and New Directions (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-84882-736-3_2

Mathematics Subject Classification ID

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

Related Items (3)

Ambient abstract state machines with applications ⋮ Domain Endurants ⋮ Manifest domains: analysis and description

This page was built for publication: Program Verification and System Dependability