Formal Methods and Software Engineering: 14th

Formal Methods and Software Engineering: 14th Inteational Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, .. / Programming and Software Engineering)

Hardcover: 500 pages

Publisher: Springer (September 19, 2012)

Language: English

ISBN-10: 3642342809