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

Group by: Item Type | Date | No Grouping

Number of items: 2.

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 Wed May 22 04:39:04 2013 BST.