Skip to content

Natural Semantics for Imperative and Object-Oriented Programming Languages.

Sabine Glesner

VenueBGI
Year1999
ProceedingsGI Jahrestagung

Browse the full GI paper archive.