Zeitschriftenartikel

[1]	Sabine Glesner, Wolf Zimmermann, Natural Semantics as a Static Program Analysis Framework, ACM Transactions on Programming Languages and Systems (TOPLAS) , May 2004.

Autoren

Alumni Prof. Sabine Glesner Prof. Wolf Zimmermann