Formal Methods and Software Engineering: 11th

Formal Methods and Software Engineering: 11th Inteational Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December .. / Programming and Software Engineering)

Hardcover: 757 pages

Publisher: Springer (November 17, 2009)

Language: English

ISBN-10: 3642103723