Software Engineering and Formal Methods: 9th Inteational Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings (Lecture .. / Programming and Software Engineering)
Hardcover: 520 pages
Publisher: Springer (October 21, 2011)
Language: English
ISBN-10: 3642246893