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