This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Mattias Ulbrich
A grouping.
The KeY orbit: the first verified software competition, dynamic frames in Java dynamic logic, and the KeY book itself. That edited volume is the most-shared record among the people written up in this corpus, with six person pages describing work that converges on it.
3 references
Deductive Software Verification – The KeY Book
Mattias Ulbrich and others (2016) · Springer
The 1st Verified Software Competition: Experience Report
Vladimir Klebanov and others (2011) · FM 2011: Formal Methods · Springer
Dynamic frames in Java dynamic logic
Peter H. Schmitt and others (2011) · International Conference on Formal Verification of Object-Oriented Software (FoVeOOS) · Springer