Book 769 views 2 downloads
Formal Methods for Software Engineering
Markus Roggenbach 
,
Antonio Cerone,
Bernd-Holger Schlingloff,
Gerardo Schneider,
Siraj Ahmed Shaikh
,
Antonio Cerone,
Bernd-Holger Schlingloff,
Gerardo Schneider,
Siraj Ahmed Shaikh
Texts in Theoretical Computer Science. An EATCS Series
Swansea University Author:
Markus Roggenbach
-
PDF | Accepted Manuscript
© 2022 © Springer Nature Switzerland AG 2022. Chapter 1 released with permission.
Download (1.15MB)
DOI (Published version): 10.1007/978-3-030-38800-3
Abstract
Formal Methods for Software Engineering
| Published in: | Texts in Theoretical Computer Science. An EATCS Series |
|---|---|
| ISBN: | 9783030387990 9783030388003 |
| ISSN: | 1862-4499 1862-4502 |
| Published: |
Cham
Springer International Publishing
2022
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa58713 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Item Description: |
With a foreword by Manfred Broy and a contribution on the origins and development of Formal Methods by John V. Tucker |
|---|---|
| Keywords: |
Formal Methods, Logic, Software Engineering, Process Algebras, CSP, Algebraic Specification, CASL, Verification |
| College: |
Faculty of Science and Engineering |