1. A formal semantics for isorecursive and equirecursive state abstractions

Summers, Alexander J. und Drossopoulou, Sophia (2012)

Reports

2. Freedom before commitment

Summers, Alexander J. und Müller, Peter (2010)

Reports

3. Verification Condition Generation for Permission Logics with Abstraction Functions

Heule, Stefan, Kassios, Ioannis T., Müller, Peter und Summers, Alexander J. (2012)

Reports

4. Verification condition generation for permission logics with abstract predicates and abstraction functions

Heule, Stefan, Kassios, Ioannis T., Müller, Peter und Summers, Alexander J. (2012)

Reports