Ralf Jung, Supervisor: Sebastian Hack, Advisor: Sigurd Schneider<br>
[<a href="bachelor/bachelor.pdf">thesis</a>] [<a href="bachelor/bachelor-talk.pdf">slides</a>] [<a href="bachelor/bachelor.zip">coq</a>]
</li></ul>
</p>
Ralf Jung, Supervisor: Sebastian Hack, Advisor: Sigurd Schneider<br>
[<a href="bachelor/bachelor.pdf">thesis</a>] [<a href="bachelor/bachelor-talk.pdf">slides</a>] [<a href="bachelor/bachelor.zip">coq</a>]
</li></ul>
</p>