International SPIN Workshop (10th 2003 Portland, Or.)

Identifiers

Open LibraryOL1517078A

Top Subjects

SPIN (Computer file) -- Congresses (1)
Computer software -- Verification -- Congresses (1)

Books by International SPIN Workshop (10th 2003 Portland, Or.)

Total count: 1

Model checking software10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings

Springer2003-01-01