Marcelo Sousa

Registered user since Sat 23 Jan 2016

Name: Marcelo Sousa

Affiliation: University of Oxford

Contributions

PLDI 2016 Cartesian Hoare Logic for Verifying k-Safety Properties
Show activities from other conferences

PLDI 2016-profile
View general profile