Universität Karlsruhe
 Using Program Checking to Ensure the Correctness of Compiler Implementations
» Home
   » Mitarbeiter
   » Kerngebiete
   » Projekte
      » Abgeschlossen
   » Veröffentlichungen
      » Details
   » Software
   » Lehre
   » Student. Arbeiten
   » Impressum
   » Lageplan

de en

Zeitschriftenartikel

[1]Sabine Glesner, Using Program Checking to Ensure the Correctness of Compiler Implementations , Journal of Universal Computer Science (J.UCS) 9(3), p. 191-222, March 2003.

[Erzeuge bibTeX Eintrag]

Autoren

Alumni
Prof. Sabine Glesner
Login
Links