Model Checking Software 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings - Dwyer, Matthew; Dwyer, Matthew (Springer Berlin Heidelberg : Imprint: Springer, 2001)