A Specification Logic for Exceptions and Beyond
From MaRDI portal
Publication:4931291
DOI10.1007/978-3-642-15643-4_14zbMath1305.68056OpenAlexW1530476176MaRDI QIDQ4931291
Cristina David, Cristian Gherghina
Publication date: 4 October 2010
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15643-4_14
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication: A Specification Logic for Exceptions and Beyond
