Approximation Refinement for Interpolation−Based Model Checking
Vijay D'Silva‚ Mitra Purandare and Daniel Kroening
Book Title
Proceedings of VMCAI 2008
Pages
68–82
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
4905
Year
2008
Vijay D'Silva‚ Mitra Purandare and Daniel Kroening