Universitšt Karlsruhe
A Formal Semantics for SSA Intermediate Representations in Isabelle/HOL

Diploma thesis (closed)

Advisors

Alumni
Prof. Sabine Glesner

Realizer

Alumni
Jan Olaf Blech
Login
Links