Formal methods for software engineering
Language, methods, application domains
Markus Roggenbach (editor) Antonio Cerone (editor) Bernd Holger Schlingloff (editor) Gerardo Schneider (editor) Siraj Ahmed Shaikh (editor)
creator
text
Switzerland
Springer nature
2022
monographic
xxii, 524 p. : ill. ; 23 cm.
Includes indexes.
Software engineering
Formal language
Application domains
Formal methods
Fc
Security protocols
005.1 FOR
978303088027 (pbk)
9783030388003 (ebook)