Concise guide to formal methods. Theory, fundamentals and industry applications
DOI10.1007/978-3-319-64021-1zbMath1375.68002OpenAlexW2742411048MaRDI QIDQ1681379
Publication date: 23 November 2017
Published in: Undergraduate Topics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-64021-1
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)
This page was built for publication: Concise guide to formal methods. Theory, fundamentals and industry applications