Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
Publikationstyp | Hochschulschrift |
Publikationsdatum | 11.09.2023 |
Sprache | Englisch |
Identifikator | KITopen-ID: 1000162878 |
Verlag | Karlsruher Institut für Technologie (KIT) |
Umfang | 66 S. |
Art der Arbeit | Abschlussarbeit - Bachelor |
Prüfungsdaten | 11.09.2023 |
Schlagwörter | KeY, Java Modeling Language, deductive verification, red-black trees |
Referent/Betreuer | Beckert, Bernhard Ulbrich, Mattias Pfeifer, Wolfram |