| ID | D.22.3016 |
| Type | Bachelor's Thesis |
| Loanable | yes |
| Author | Elias Garcia Perea |
| IBR Group(s) | DS (Prof. Kapitza) |
| Title | Implementation of a Tree Structure for the Formal Verification Tool Ivy |
| School | TU Braunschweig |
| Organization | IBR, Abt. DS |
| Year | 2022 |
| Month | August |
| IBR Room | 102 - Small Archiv |