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

Group by: Item Type | Date | No Grouping

Number of items: 5.

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.

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.

Brauer, Jorg and King, Andy and Kowalewski, Stefan (2010) Range Analysis of Microcontroller Code Using Bit-Level Congruences. In: Formal Methods for Industrial Critical Systems. The full text of this publication is not available from this repository.

This list was generated on Thu May 23 23:49:44 2013 BST.