Natürliche Semantik für imperative und objektorientierte Programmiersprachen

Sabine Glesner. Natürliche Semantik für imperative und objektorientierte Programmiersprachen. PhD thesis, Karlsruhe Institute of Technology, Germany, 1999. [doi]

Abstract

Abstract is missing.