|aSPIN model checking and software verification|h[electronic resource] :|b7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings /|cKlaus Havelund, John Penix, Willem Visser (eds.).
260
|aBerlin ;|aNew York :|bSpringer,|cc2000.
300
|ax, 342 p. :|bdigital ;|c24 cm.
440
0
|aLecture notes in computer science ;|v1885
650
0
|aComputer software|xVerification|vCongresses.
700
1
|aHavelund, Klaus.
700
1
|aPenix, John.
700
1
|aVisser, Willem.
710
2
|aSpringerLink (Online service)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/10722468
950
|aComputer Science (Lecture Notes in Computer Science)