Title: Principles of the Spin model checker
First published: 2008
Subjects: Computer software, SPIN (Computer file), Verification, Computer software, verification, Literary collections
LC classification: QA76.76.V47 B46 2008