Registered user since Sat 23 Jan 2016

Name: Marcelo Sousa

Affiliation: University of Oxford

PLDI 2016 Activities

• Author of Cartesian Hoare Logic for Verifying k-Safety Properties within the Research Papers-track in PLDI 2016
• Show activities from other conferences