Number of items: 1.
Conference or workshop item
|
King, Andy and Sondergaard, Harald
(2010)
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.
|
|
This list was generated on Wed Jun 19 14:40:43 2013 BST.
