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.