Book review of: G. O'Regan, Concise guide to formal methods: theory, fundamentals and industry applications
DOI10.1007/S00165-020-00506-3zbMATH Open1451.00026OpenAlexW3012999279MaRDI QIDQ782500FDOQ782500
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
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)
