direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Ribbon Proofs for Separation Logic
Zitatschlüssel Wickerson2013
Autor John Wickerson and Mike Dodds and Matthew Parkinson
Buchtitel European Symposium on Programming (ESOP '13, to appear)
Jahr 2013
Verlag Springer
Serie LNCS 7792
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe