CURRENTLY SOLD OUT

Formal Verification of Object-Oriented Software: International Conference, FOVEOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2011)