IBR Login
Arne Vogel
Ehemaliger Wissenschaftlicher Mitarbeiter
vogel[[at]]ibr.cs.tu-bs.de
Meine persönliche Webseite: www.arnevogel.com
Open theses:
| No entries found. |
Running theses:
| No entries found. |
Finished theses:
| Title | Type | Supervisor | Status |
|---|---|---|---|
| Implementation of a Tree Structure for the Formal Verification Tool Ivy | Bachelor Thesis | Arne Vogel | finished |