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

Klaus Havelund
Willem Visser
Springer

Abstract

Research Areas