Universität Karlsruhe
 Natural Semantics for Imperative and Object-Oriented Programming Languages
» Home
   » Mitarbeiter
   » Kerngebiete
   » Projekte
      » Abgeschlossen
   » Veröffentlichungen
      » Details
   » Software
   » Lehre
   » Student. Arbeiten
   » Impressum
   » Lageplan

de en

Konferenzartikel

[1]Sabine Glesner, Natural Semantics for Imperative and Object-Oriented Programming Languages, Proceedings der 29. Jahrestagung der Gesellschaft fĂĽr Informatik, Arbeitstagung Programmiersprachen '99, Springer Verlag, 1999.

[Erzeuge bibTeX Eintrag]

Autoren

Alumni
Prof. Sabine Glesner
Login
Links