The Java Verification Tool KeY: A Tutorial
Beckert, Bernhard
; Bubel, Richard; Drodt, Daniel; Hähnle, Reiner; Lanzinger, Florian
; Pfeifer, Wolfram
; Ulbrich, Mattias
1; Weigl, Alexander
1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
; Bubel, Richard; Drodt, Daniel; Hähnle, Reiner; Lanzinger, Florian
; Pfeifer, Wolfram
; Ulbrich, Mattias
1; Weigl, Alexander
11 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Forschungsdaten |
| Publikationsjahr | 2024 |
| Identifikator | KITopen-ID: 1000173710 |
| Lizenz | GNU General Public License v2.0 only |
| Art der Forschungsdaten | Software |