"Multiple-Counterexample Guided Iterative Abstraction Refinement: An ..."

Marcelo Glusman et al. (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics