Formal Methods and Software Engineering: 13th Inteational Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. .. / Programming and Software Engineering)
Hardcover: 674 pages
Publisher: Springer (October 12, 2011)
Language: English
ISBN-10: 3642245587