Formal Methods and Software Engineering: 10th

Formal Methods and Software Engineering: 10th Inteational Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October .. / Programming and Software Engineering)

Hardcover: 397 pages

Publisher: Springer (October 8, 2008)

Language: English

ISBN-10: 354088193X