Die Vorbesprechung fand am 27. Januar 2000, 15:00 im Raum 307 statt.
Die vorgesehenen Themen sind hier zu finden. Hier unkomprimiert.
Das Seminar "Methoden und Werkzeuge zur Verifikation von Software" findet jeweils donnerstags von 12:30-14:00 in SR 307 an den folgenden Terminen statt:
| 18.05. | Intuitionistische & konstruktive Logik (komprimiert) | |
| 25.05. | Larch (komprimiert) | |
| 08.06. | Coq (komprimiert) | |
| 29.06. | Kolloquium |
$Id: main.html,v 1.4 2000/06/20 13:30:33 mann Exp $