Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings - International SPIN Workshop 2001 Toronto, Ont.); Dwyer, Matthew, 1963-; ACM Sigsoft (Berlin ; New York : Springer, 2001)
On cover: ACM SIGSOFT.
Includes bibliographical references and index.
Keywords: SPIN (Computer file) -- Congresses; Computer software -- Verification -- Congresses