Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Number of items: 2.

Conference or workshop item

Brauer, Jorg and King, Andy (2011) Transfer Function Synthesis without Quantifier Elimination. In: Twentieth European Symposium on Programming. The full text of this publication is not available from this repository.

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 Thu Jun 20 03:23:18 2013 BST.