Formal Methods and Software Engineering: 12th Inteational Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, .. / Programming and Software Engineering)
Hardcover: 712 pages
Publisher: Springer (October 29, 2010)
Language: English
ISBN-10: 3642169007