Skip to main content
Skip to navigation
Skip to toolbar

Browse by Author

5 Results for Kassios, Ioannis T./

Subscribe to RSS feed for this result set

Sort results by

Results per page

1. A Discipline for Program Verification based on Backpointers and its Use in Observational Disjointness

Kassios, Ioannis T. and Kritikos, Eleftherios (2012)

Reports Reports

2. Modular specification and verification of delegation with SMT solvers

Kassios, Ioannis T. and Müller, Peter (2011)

Reports Reports

3. Specification and verification of closures

Kassios, Ioannis T. and Müller, Peter (2010)

Reports Reports

4. Verification Condition Generation for Permission Logics with Abstraction Functions

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

Reports Reports

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

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

Reports Reports