Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker

DOI10.1007/978-3-030-38800-3zbMath1492.68003MaRDI QIDQ2077760

Antonio Cerone, Siraj Ahmed Shaikh, Gerardo Schneider, Bernd-Holger Schlingloff, Markus Roggenbach

Publication date: 21 February 2022

Published in: Texts in Theoretical Computer Science. An EATCS Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-38800-3

Mathematics Subject Classification ID

68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science

68Nxx: Theory of software