Title: SPIN model checking and software verification
Subjects: SPIN (Computer file), Congresses, Verification, Computer software