Browse by Person (creator, editor, contributor, etc.)
Number of items: 2.
Conference or workshop item
King, Andy and Sondergaard, Harald
Automatic Abstraction for Congruences.
In: Eleventh International Conference on Verification, Model Checking, and Abstract Interpretation.
The full text of this publication is not available from this repository.