| |
| 2005 | ||
|---|---|---|
| 1 | EE | 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. Electr. Notes Theor. Comput. Sci. 141(2): 33-51 (2005) |
| 1 | Jan Olaf Blech | [1] |
| 2 | Sabine Glesner | [1] |
| 3 | Johannes Leitner | [1] |