Abstract Counterexample-based Refinement for Powerset Domains

festschrift.pdf
PDF file

In  Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm

Details

TypeInproceedings
> Publications > Abstract Counterexample-based Refinement for Powerset Domains