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

Group by: Item Type | Date | No Grouping

2012

Number of items: 5.

2012

Biallas, Sebastian and Brauer, J''org and King, Andy and Kowalewski, Stefan (2012) Loop Leaping with Closures. In: Nineteenth Static Analysis Symposium. The full text of this publication is not available from this repository.

Biallas, Sebastian and Brauer, J''org and King, Andy and Kowalewski, Stefan (2012) Loop Leaping with Closures. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Brauer, J''org and King, Andy and Kowalewski, Stefan (2012) Abstract Interpretation of Microcontroller Code: Intervals meet Congruences. Science of Computer Programming, 77 . The full text of this publication is not available from this repository.

Brauer, J''org and King, Andy (2012) Transfer Function Synthesis without Quantifier Elimination. Logical Methods in Computer Science, 8 (2012). The full text of this publication is not available from this repository.

Biallas, Sebastian and Brauer, J''org and King, Andy and Kowalewski, Stefan (2012) Proof Appendix for Loop Leaping with Closures. Technical report. , School of Computing The full text of this publication is not available from this repository.

This list was generated on Sun May 19 21:35:01 2013 BST.