Scott D. Stoller, Willem Visser, editors, Workshop on Software Model Checking 2001, in connection with CAV 2001, Paris, France, July 23, 2001. Volume 55 of Electronic Notes in Theoretical Computer Science, Elsevier, 2001. [doi]
Conference: cav2001
Abstract is missing.