Experimente mit Verifikation – Einführung in Isabelle/HOL

Zeitplan

Session 4 – 15. April

• Folien (1-up, 2-up, 4-up)

Session 3 – 25. März

• Folien (1-up, 2-up, 4-up)
• Quelltext (Archiv)

Session 2 – 19. März

• Folien (1-up, 2-up, 4-up)
• Quelltext (Archiv)

Session 1 – 12. März

• Folien (1-up, 2-up, 4-up)
• Quelltext (Archiv)