Book review of: G. O'Regan, Concise guide to formal methods: theory, fundamentals and industry applications

DOI10.1007/S00165-020-00506-3zbMath1451.00026OpenAlexW3012999279MaRDI QIDQ782500

Jonathan P. Bowen

Publication date: 27 July 2020

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

Full work available at URL: https://doi.org/10.1007/s00165-020-00506-3

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) 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) External book reviews (00A17) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Book review of: G. O'Regan, Concise guide to formal methods: theory, fundamentals and industry applications