Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods, ICFEM 2009 Rio de Janeiro, Brazil, December 9-12, 2009 Proceedings

RecordNumber
1870
Author
Breitman, Karin
Title
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods, ICFEM 2009 Rio de Janeiro, Brazil, December 9-12, 2009 Proceedings
SubTitle
11th International Conference on Formal Engineering Methods, ICFEM 2009 Rio de Janeiro, Brazil, December 9-12, 2009 Proceedings
Publication
Springer
Publication Year
2009
Collation
xiv, 758p.
ISBN
978-3-642-10372-8
Link To Document :
http://math.iranlibs.ir/dL/search/default.aspx?Term=1870&Field=0&DTC=13

Breitman, Karin