David Pearce - SPLASH 2015

Registered user since Wed 7 Jan 2015

Name: David Pearce

Country: New Zealand

Affiliation: Victoria University of Wellington

Personal website: http://homepages.ecs.vuw.ac.nz/~djp/

Contributions

NOOL 2015	Author of Whiley: a Better C? within the NOOL-track
PLATEAU 2015	Author of Some Usability Hypotheses for Verification within the PLATEAU-track
SLE 2015	SLE Steering Committee Member in Steering Committee Author of The Whiley Rewrite Language (WyRL) within the SLE-track Committee Member in Program Committee Session Chair of Tools I (part of SLE)
Show activities from other conferences

SPLASH 2015-profile
View general profile