Skip to main content
Skip to navigation
Skip to toolbar

Browse by Author

1 Results for Kritikos, Eleftherios

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