Title: Formal Methods and Software Engineering
Subjects: Software engineering, System design, Formal methods (Computer science), Congresses, Computer software, Verification, Computer science, Computer Communication Networks, Programming Techniques, Programming Languages, Compilers, Interpreters, Algorithm Analysis and Problem Complexity, Mathematical Logic and Formal Languages