conf.researchr.org / Lindsay Groves

Not registered as user yet

Name: Lindsay Groves

Affiliation: Victoria University of Wellington

Contributions

OCAP 2017Author of Capabilities and Effects within the OCAP 2017-track
ECOOP 2015Author of Defining Correctness Conditions for Concurrent Objects in Multicore Architectures within the Research Track-track
SLE 2013Author of Whiley: a Platform for Research in Software Verification within the Research Papers-track