Skip to main content
Skip to navigation
Skip to toolbar

Browsen nach Autor

1 Ergebnisse von Kritikos, Eleftherios

Diese Suchanfrage als RSS-Feed abonnieren

Sortieren nach

Treffer pro Seite

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

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

Reports Reports