Model Checking Procedural Programs
Published in Handbook of Model Checking • Jan 1, 2018
NobleIDNI5P98W59R71S52
Authors:,,
Rajeev Alur
Ahmed Bouajjani
Javier Esparza
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!