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

DOI10.1007/S00165-020-00506-3MaRDI QIDQ782500zbMATH OpenOpenAlexFDO

Authors 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

Formal languages and automata (68Q45) 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) Logic in computer science (03B70) 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q782500)