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 |
Vacancies of TU Braunschweig
Career Service' Job Exchange
Merchandising
Term Dates
Courses
Degree Programmes
Information for Freshman
TUCard
Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig
P. O. Box: 38092 Braunschweig
GERMANY
Phone: +49 (0) 531 391-0