Sabine Glesner

Optimierende Compiler: Vertrauen ist gut, Verifikation ist besser!

Sabine Glesner, 2005 .

Editorial

Sabine Glesner, Sabine Glesner, 1864, Informatik - Forschung und Entwicklung.

Manifest: Strategische Bedeutung des Software Engineering für die Medizin

Bernhard Rumpe, Sabine Glesner, Barbara Paech, 2008, Informatik - Forschung und Entwicklung.

Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers)

Gerhard Goos, Sabine Glesner, Wolf Zimmermann, 2004, it Inf. Technol..