

An edition of Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings (2010)
By Ana Cavalcanti
Publish Date
2010
Publisher
Springer
Language
-
Pages
-
Description: