Formal Methods and Software Engineering: 11th International ...
Preview
11th International Conference on Formal Engineering Methods ICFEM 2009, Rio
de Janeiro, Brazil, December 9-12, 2009, Proceedings Karin Breitman, Ana
Cavalcanti. Volume Editors Karin Koogan Breitman Department of Informatics ...