
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