Formal Methods for Software Engineering Languages, Methods, Application Domains - Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed (Springer International Publishing, 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