barnslig/bachelor-thesis Issues
E4.2 Story skizzieren
ClosedE4.4 Thesis finalisieren
ClosedE3.1 Abstract schreiben
ClosedE4.1 Thesis anlegen
Closed
My bachelor's thesis, including an experimental swarm verification model checker running on the GPU.