direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Natural Semantics as a Static Program Analysis Framework
Citation key glesner04natural
Author Sabine Glesner and Wolf Zimmermann
Pages 510-577
Year 2004
Journal ACM Transactions on Programming Languages and Systems (TOPLAS)
Volume 26
Number No. 3
Month May
Bibtex Type of Publication Journal Article
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe