direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Natural Semantics as a Static Program Analysis Framework
Zitatschlüssel glesner04natural
Autor Sabine Glesner and Wolf Zimmermann
Seiten 510-577
Jahr 2004
Journal ACM Transactions on Programming Languages and Systems (TOPLAS)
Jahrgang 26
Nummer No. 3
Monat May
Typ der Publikation Journal Article
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe