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