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.68003OpenAlexW4285251802MaRDI 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

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68Nxx)

Related Items (1)

Glushkov's algorithmic algebras and automated parallel computing design

This page was built for publication: 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