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