SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30

Klaus Havelund John Penix Willem Visser SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings SPIN Lecture Notes in Computer Science 1885 Springer 2000 3-540-41030-9 db/conf/spin/spin2000.html