C. R. Ramakrishnan Books
Model Checking Software
By C. R. Ramakrishnan, Ezio Bartocci
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool d...
Read More