|
Aufgabenstellung
|
Erstellen eines Vortrages über das Thema
Programmverifikation.
|
|
Ausarbeitung
|
Die schriftliche Ausarbeitung soll als HTML-Dokument zur
Verfügung stehen. Die Ausarbeitung für den Vortrag
wurde kürzer gefaßt und ist für diese HTML-
Ausarbeitung entsprechend erweitert worden.
|
|
|
|
Autoren
|
Dieser Vortrag wurde von
Andreas Pritzlaff (ia7584)
Dennis Konert (ia7582)
Lars Tiedemann (ia7443)
Oliver Hensel (ia7585)
Henning Pflüger (ia7569)
Knut Boysen (ia7539)
ausgearbeitet. Bei Fragen wenden Sie sich bitte an eine der oben
aufgeführten Emailadressen.
|
Vorwort
