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