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
View general profile