Approximation Refinement for Interpolation-Based Model Checking
Published in Lecture notes in computer science • Feb 29, 2008
NobleIDNI8P84W11R52S26
Authors:,,
Vijay D’Silva
Mitra Purandare
Daniel Kroening
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!