Formal methods for software engineering Languages, methods, application domains - Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger 1959-; Schneider, Gerardo; Shaikh, Siraj Ahmed (Texts in theoretical computer science : an EATCS series, 2022)