Group colloquium: Reasoning about JML: Differences between KeY and OpenJML
When: Aug. 30, 2018, 13:00-14:00
Where: HB 2A
Who: Marieke Huisman
Group colloquium: Reasoning about JML: Differences between KeY and OpenJMLWhen: Aug. 30, 2018, 13:00-14:00 Where: HB 2A Who: Marieke Huisman |