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

Group by: Item Type | Date | No Grouping

Jump to: Monograph | Conference or workshop item

Number of items: 3.

Monograph

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.

Conference or workshop item

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.

This list was generated on Sat May 25 12:30:42 2013 BST.