Experimente mit Verifikation – Einführung in Isabelle/HOL

Zeitplan

Session 4 – 27. März

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

Session 3 – 20. März

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

Session 2 – 13. März

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

Session 1 – 6. März

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