Document - Review on formal methods for software engineering: languages, methods, application domains

2025

Other Open Access

Review on formal methods for software engineering: languages, methods, application domains

Ter Beek M. H.

Computer Science Education, Software Engineering, Formal Methods, Model Checking, Theorem Proving, CSP, PAT, CASL, Contracts, Cryptography

Review on Formal Methods for Sotware Engineering: Languages, Methods, Application Domains by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlinglof, Gerardo Schneider, and Siraj Ahmed Shaikh Published by Springer, ISBN: 978-3-030-38799-0, 524 pages, 2022. https://doi.org/10.1007/978-3-030-38800-3

Source: FORMAL ASPECTS OF COMPUTING, vol. 37 (issue 4), pp. 35:1-35:3

Metrics

Back to previous page

Cite as

BibTeX entry

@misc{oai:iris.cnr.it:20.500.14243/549347,
	title = {Review on formal methods for software engineering: languages, methods, application domains},
	author = {Ter Beek M.  H.},
	doi = {10.1145/3746236},
	year = {2025}
}