Review of Formal Methods: An Appetizer

DOI10.1145/3545181zbMath1522.00084MaRDI QIDQ6136752

Greg Michaelson

Publication date: 31 August 2023

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) External book reviews (00A17)

This page was built for publication: Review of Formal Methods: An Appetizer