Presentation: OpenJML
When: May 1, 2015, 10:45-11:45
Where: Hal B 2C
Who: David Cok
David Cok, the OpenJML developer, will give a presentation on OpenJML as part of the Program Verification course.
Presentation: OpenJMLWhen: May 1, 2015, 10:45-11:45 Where: Hal B 2C Who: David Cok
David Cok, the OpenJML developer, will give a presentation on OpenJML as part of the Program Verification course.
|