APA (7th ed.) Citation

Hoffmann, U. (1998). Compiler implementation verification through rigorous syntactical code inspection ([1st ed.].). Christian-Albrechts-Universität.

Chicago Style (17th ed.) Citation

Hoffmann, Ulrich. Compiler Implementation Verification Through Rigorous Syntactical Code Inspection. [1st ed.]. Kiel: Christian-Albrechts-Universität, 1998.

MLA (9th ed.) Citation

Hoffmann, Ulrich. Compiler Implementation Verification Through Rigorous Syntactical Code Inspection. [1st ed.]. Christian-Albrechts-Universität, 1998.

Warning: These citations may not always be 100% accurate.