CURRENTLY SOLD OUT

Model Checking Software: 19th International Workshop, SPIN 2012 Oxford, UK, July 23-24 2012 : Poceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2012)