Auflistung nach Autor "Blech, Jan Olaf"
Anzeige der Dokumente 1-2 von 2
-
A formal correctness proof for code generation from SSA form in Isabelle/HOL
Blech, Jan Olaf; Glesner, Sabine
449-458 -
Logische und softwaretechnische Herausforderungen bei der Verifikationoptimierender Compiler
Glesner, Sabine; Blech, Jan Olaf
131-140