The Java Verification Tool KeY:A Tutorial. - Bernhard Beckert; Richard Bubel; Daniel Drodt; Reiner Hähnle; Florian Lanzinger; Wolfram Pfeifer; Mattias Ulbrich; Alexander Weigl (FM (2), 2024)

The Java Verification Tool KeY: A Tutorial. - Bernhard Beckert; Richard Bubel; Daniel Drodt; Reiner Hähnle; Florian Lanzinger; Wolfram Pfeifer; Mattias Ulbrich; Alexander Weigl (Zenodo, 2024)