SPIN model checking and software verification：7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings

Corporate Authors: International SPIN Workshop (7th 2000 Stanford, Calif.)
Group Author: Havelund Klaus, 1955-; Penix John, 1970-; Visser Willem. 1968-
Published: Springer,
Publication Dates: 2000.
Call Number: TP338.806-532/I617/2000