Wow! eBookFormal Verification of Object-Oriented Software: Inteational Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers .. / Programming and Software Engineering)
Hardcover: 212 pages
Publisher: Springer (January 14, 2011)
Language: English
ISBN-10: 3642180698
