Title: FM 2011: Formal Methods
Subjects: Logic design, Information Systems, Computer science, Software engineering, Development, Informatique, Congresses, System design, Mathematics, Formal methods (Computer science), Computer software, Computer software, development, Management of Computing and Information Systems, Mathematical Logic and Formal Languages, Programming Techniques, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs