Review of Formal Methods: An Appetizer

DOI10.1145/3545181MaRDI QIDQ6136752zbMATH OpenFDO

Authors 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) 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)