Formal methods foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers - Brazilian Symposium on Formal Methods 2009 : Gramado, Brazil); Oliveira, Marcel Vinicius Medeiros; Woodcock, Jim.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009)
Keywords: Formal methods (Computer science) -- Congresses; Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Management of Computing and Information Systems; Logics and Meanings of Programs; Computer Science