Formal methods for software engineering Languages, methods, application domains - Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger 1959-; Schneider, Gerardo; Shaikh, Siraj Ahmed (Springer, 2022)
Keywords: Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Symbolic and Algebraic Manipulation; Mathematical and Computational Engineering Applications; Computer and Information Systems Applications; Computer science; Software engineering; Computer science—Mathematics; Engineering mathematics; Engineering—Data processing; Application software