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.
Mattias Ulbrich: the KeY orbit - the first verified software competition, dynamic frames in Java dynamic logic, and the KeY book.
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