Login / Signup
Steffen Mülling
Publication Activity (10 Years)
Years Active: 2005-2005
Publications (10 Years): 0
</>
Publications
</>
Jan Olaf Blech
,
Sabine Glesner
,
Johannes Leitner
,
Steffen Mülling
Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL.
Electron. Notes Theor. Comput. Sci.
141 (2) (2005)