direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Ribbon Proofs for Separation Logic
Citation key Wickerson2013
Author John Wickerson and Mike Dodds and Matthew Parkinson
Title of Book European Symposium on Programming (ESOP '13, to appear)
Year 2013
Publisher Springer
Series LNCS 7792
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe