Registered user since Sat 23 Jan 2016
Name: Marcelo Sousa
Affiliation: University of Oxford
Contributions
| PLDI 2016 | Author of Cartesian Hoare Logic for Verifying k-Safety Properties within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2016-profile
View general profile
View general profile