References
Bowen, J.P.: Egon Börger and Alexander Raschke: modeling companion for software practitioners. Form Aspect Comput 30(6), 761–762 (2018)
Habrias, H., Frappier, M. (eds.): Software specification methods. ISTE, Eugene (2006)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Bowen, J.P. Gerard O’Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications. Form Asp Comp 32, 147–148 (2020). https://doi.org/10.1007/s00165-020-00506-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00165-020-00506-3