-
-
1st_Provably_Correct_Commit_by_Mattias_Ulbrich
First time code in KeY proven with KeY by Mattias Ulbrich
-
KeY-2.8.0
Version 2.8.0 of the KeY-System. Released in Dec, 2020
-
v2.8.0
Version 2.8.0 of the KeY-System. Released in Dec, 2020
-
First time code in KeY proven with KeY by Mattias Ulbrich
Version 2.8.0 of the KeY-System. Released in Dec, 2020
Version 2.8.0 of the KeY-System. Released in Dec, 2020