00537nam a22001217a 4500020002400000082001500024245008600039260003900125300004200164500005800206500003600264650011500300  a9783030388027 (pbk)  a005.1bFOR  aFormal methods for software engineering blanguages, methods, application domains  aSwitzerlandbSpringer Naturec2022  axxviii, 524 p.b: ill. Col.c; 23 cm.  aText in theoretical computer science.
an EATCS series  aIncludes appendices and index.   aSoftware Engineering vFormal languages vComputer interaction vSecurity protocols vApplication domains vFC