Model Checking Software
Published in Lecture notes in computer science • Jan 1, 2004
NobleIDNI0P80W74R01S08
Authors:,,
Theo C. Ruys
Gerard J. Holzmann
Susanne Graf
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!