POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / José Fragoso Santos
José Fragoso Santos

Registered user since Wed 1 Nov 2017

Name: José Fragoso Santos

Affiliation: Imperial College London

Contributions

POPL 2018Author of JaVerT: JavaScript Verification Toolchain within the Research Papers-track
Author of JaVerT: JavaScript Verification using Separation Logic within the Artifact Evaluation-track
Show activities from other conferences

POPL 2018-profile
View general profile