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

Group by: Item Type | Date | No Grouping

2011 2010

Number of items: 2.

2011

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.

2010

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 Sun May 26 08:10:06 2013 BST.