Universität Bremen
FB 3 CXL

Verifikation von C-Programmen

Willkommen auf der Heimatseite der Lehrveranstaltung „Verifikation von C-Programmen 3“ im Wintersemester 2014/2015.

Daten und Termine

Voraussetzungen

Teilnehmer sollten Erfahrungen mit C haben. Vorkenntnisse in formaler Logik helfen weiter, werden aber nicht vorausgesetzt.