00629nam a22001337a 4500020002300000020002600023082001500049100014800064245008400212260003900296300003500335500002200370650010300392  a978303088027 (pbk)  a9783030388003 (ebook)  a005.1bFOR  aMarkus Roggenbach (editor)aAntonio Cerone (editor)aBernd Holger Schlingloff (editor)aGerardo Schneider (editor)aSiraj Ahmed Shaikh (editor)  aFormal methods for software engineeringbLanguage, methods, application domains  aSwitzerlandbSpringer naturec2022  axxii, 524 p.b: ill.c; 23 cm.  aIncludes indexes.  aSoftware engineeringvFormal languagevApplication domainsvFormal methodsvFcvSecurity protocols