| ID | D.22.3016 |
| Typ | Bachelorarbeit |
| Ausleihbar | ja |
| Autor | Elias Garcia Perea |
| IBR Gruppe(n) | DS (Prof. Kapitza) |
| Titel | Implementation of a Tree Structure for the Formal Verification Tool Ivy |
| Bildungseinrichtung | TU Braunschweig |
| Organisation | IBR, Abt. DS |
| Jahr | 2022 |
| Monat | August |
| IBR Raum | 102 - Kleines Archiv |