KunterBuntesSeminar-WS12/Lightning Talks2/vgo

Aus Fachschaft_Informatik
Zur Navigation springen Zur Suche springen

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[Bearbeiten]

ModelChecken koennte Software besser machen. Aber wie?

Folien[Bearbeiten]

Folien vom Vortrag

Weblinks[Bearbeiten]