Result: Certifying Compilers based on Formal Translation Contracts

*Title*:

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

*Author/editor-in-chief*:

*Publication*:

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

*Physical description scale*:

Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Interne Berichte ; 355

*Result*: Certifying Compilers based on Formal Translation Contracts