Marcelo Sousa - PLDI 2016

Mon 13 - Fri 17 June 2016 Santa Barbara, California, United States

Registered user since Sat 23 Jan 2016

Name:Marcelo Sousa

Affiliation:University of Oxford

Contributions

2016

PLDI

Cartesian Hoare Logic for Verifying k-Safety Properties

Show activities from other conferences

PLDI 2016-profile
View general profile