Daejun Park - SPLASH 2016

Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands

Registered user since Tue 17 Feb 2015

Name:Daejun Park

Affiliation:University of Illinois at Urbana-Champaign

Personal website: http://fsl.cs.illinois.edu/index.php/Daejun_Park

Contributions

2016

SPLASH

Semantics-Based Program Verifiers for All Languages

Show activities from other conferences

SPLASH 2016-profile
View general profile