Title: Formal Methods Foundations And Applications 14th Brazilian Symposium On Formal Methods Sbmf 2011 So Paulo September 2630 2011 Revised Selected Papers
Subjects: Mathematical Logic and Formal Languages, Programming Techniques, Information Systems, Software engineering, Logic design, Logics and Meanings of Programs, Computer science, Management of Computing and Information Systems, Programming Languages, Compilers, Interpreters, System design, Computer software, development