
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