SPIN Model Checking and Software Verification 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings Havelund Klaus Heftet / 2000 / Engelsk
