Mon 18 Jun 2018 15:00 - 15:30 at Columbus Ballroom B - From Testing to Verification

Mon 18 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

14:00 - 15:40: From Testing to VerificationDeepSpec at Columbus Ballroom B
14:00 - 14:30
Talk
DeepSpec
14:30 - 15:00
Talk
DeepSpec
Benjamin C. PierceUniversity of Pennsylvania
15:00 - 15:30
Talk
DeepSpec
Leonidas LampropoulosUniversity of Pennsylvania