Title: The SPIN verification system
First published: 1997
Subjects: Computer software, Congresses, SPIN (Computer file), Verification
LC classification: QA76.76.V47 W677 1996