Title: SPIN model checking and software verification
First published: 2000
Subjects: Computer software, Congresses, SPIN (Computer file), Verification, Computer simulation, Data processing, Testing, Computer software, verification
LC classification: QA76.76.V47 I58 2000, QA76.76.V47 I58 2000