https://www2.informatik.uni-hamburg.de/fachschaft/wiki/index.php?title=KunterBuntesSeminar-WS12/Lightning_Talks2/vgo&feed=atom&action=history
KunterBuntesSeminar-WS12/Lightning Talks2/vgo - Versionsgeschichte
2024-03-29T04:52:54Z
Versionsgeschichte dieser Seite in Fachschaft_Informatik
MediaWiki 1.38.0
https://www2.informatik.uni-hamburg.de/fachschaft/wiki/index.php?title=KunterBuntesSeminar-WS12/Lightning_Talks2/vgo&diff=17144&oldid=prev
JustusWinter: Seite angelegt
2013-01-31T15:09:38Z
<p>Seite angelegt</p>
<p><b>Neue Seite</b></p><div>{{:KunterBuntesSeminar-WS12/Terminseiten-Header|13|31. Januar 2013|zeit='''18:35''' bis 18:40|raum=C-221}}<br />
<br />
Dieser Lightning Talk wurde in der [[KunterBuntesSeminar-WS12/Lightning Talks2|zweiten Lightning Talk Session]] des KunterBuntenSeminars im Wintersemester 2012 gehalten.<br />
<br />
== Abstract ==<br />
ModelChecken koennte Software besser machen. Aber wie?<br />
<br />
== Folien ==<br />
[[Medium:Kbs_lightning_ws2012_2_vgo.pdf | Folien vom Vortrag]]<br />
<br />
== Weblinks ==<br />
<br />
* https://bitbucket.org/teythoon/vgo<br />
* http://vgo.readthedocs.org/ -- Handbuch<br />
* http://jade-hamburg.de/~teythoon/vgo/ -- Demos (spielbar!)<br />
<br />
[[Kategorie:KunterBuntesSeminar]]</div>
JustusWinter