IBR Login
Arne Vogel
Ehemaliger Wissenschaftlicher Mitarbeiter
vogel[[at]]ibr.cs.tu-bs.de
Meine persönliche Webseite: www.arnevogel.com
Offene Arbeiten:
| Keine Einträge gefunden. |
Laufende Arbeiten:
| Keine Einträge gefunden. |
Abgeschlossene Arbeiten:
| Titel | Art | Betreuer | Status |
|---|---|---|---|
| Implementierung einer Baumstruktur für das formale Verifikationstool Ivy | Bachelorarbeit | Arne Vogel | abgeschlossen |