KunterBuntesSeminar-WS12/Lightning Talks2/vgo

Aus Fachschaft_Informatik
Zur Navigation springen Zur Suche springen
Die druckbare Version wird nicht mehr unterstützt und kann Darstellungsfehler aufweisen. Bitte aktualisiere deine Browser-Lesezeichen und verwende stattdessen die Standard-Druckfunktion des Browsers.

Dies ist der 13. Termin vom KunterBuntenSeminar im WS 2012/13.

Ort: Raum C-221 am Informatikum
Datum: 31. Januar 2013
Zeit: 18:35 bis 18:40

Dieser Lightning Talk wurde in der zweiten Lightning Talk Session des KunterBuntenSeminars im Wintersemester 2012 gehalten.

Abstract

ModelChecken koennte Software besser machen. Aber wie?

Folien

Folien vom Vortrag

Weblinks