Universität Karlsruhe
 Konstruktion verifizierender Übersetzer mit Programmprüfung
» Home
   » Mitarbeiter
   » Kerngebiete
   » Projekte
      » Abgeschlossen
   » Veröffentlichungen
      » Details
   » Software
   » Lehre
   » Student. Arbeiten
   » Impressum
   » Lageplan

de en

Dissertation

[Gaul:03]Thilo Gaul, Konstruktion verifizierender Übersetzer mit Programmprüfung, 2003 (Not yet published).

[Erzeuge bibTeX Eintrag]

Autoren

Alumni
Dr. Thilo Gaul
Login
Links