Formal methods and software engineering 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings - International Conference on Formal Engineering Methods 2009 : Rio de Janeiro, Brazil); Breitman, Karin; Cavalcanti, Ana.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009)
Keywords: Formal methods (Computer science) -- Congresses; Software engineering -- Congresses; Computer Science; Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Models and Principles; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages