Treffer: Certifying Compilers based on Formal Translation Contracts

Titel:

Certifying Compilers based on Formal Translation Contracts / Marek Jerzy Gawkowski ; Jan Olaf Blech ; Arnd Poetzsch-Heffter

Verantwortlich:

Veröffentlicht:

Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 2006

Umfang:

Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Interne Berichte ; 355

Zusatz-Informationen