conf.researchr.org / Thomas Wood
Registered user since Sun 17 Jul 2016
Name:Thomas Wood
Country:United Kingdom
Affiliation:Imperial College London
Contributions
| POPL 2018 | Author of JaVerT: JavaScript Verification using Separation Logic within the Artifact Evaluation-track Author of JaVerT: JavaScript Verification Toolchain within the Research Papers-track |