Not registered as user yet

Name: Alexandre Donze

Affiliation: University of California, Berkeley

PLDI 2015 Activities

• Author of CPSGrader: Formal Methods for Lab-Based MOOCs within the PLOOC 2015-track in PLOOC 2015
• Show activities from other conferences