Title: Theoretical and practical aspects of SPIN model checking
Subjects: SPIN (Computer file), Congresses, Verification, Computer software