Formal methods and software engineering：11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings

Corporate Authors: International Conference on Formal Engineering Methods (11th 2009 Rio de Janeiro, Brazil); SpringerLink (Online service)
Group Author: (Karin K.); Cavalcanti Ana.; Breitman K. K.
Published: Springer,
Publication Dates: c2009.