Events

e367
May 01, 2015Presentation: OpenJML
Room: Hal B 2CDavid Cok
10:45-11:45

David Cok, the OpenJML developer, will give a presentation on OpenJML as part of the Program Verification course.