Review of Formal Methods: An Appetizer
DOI10.1145/3545181zbMATH Open1522.00084MaRDI QIDQ6136752FDOQ6136752
Authors: Greg Michaelson 
Publication date: 31 August 2023
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) External book reviews (00A17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)
This page was built for publication: Review of Formal Methods: An Appetizer
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6136752)
