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