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