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