KAIST Workshop on Real Verification

Jul 28, 2017 – Daejeon, South Korea

AdaCore will be attending this event. 
Johannes Kanig will be giving a presentation on SPARK at 16:45.