David Maley

Publication Activity (10 Years)

Years Active: 1999-2000
Publications (10 Years): 0

Queen's University Belfast, UK (PHD)

Education History

Queen's University Belfast, UK

PHD

Publications

David Maley, Ivor T. A. Spence
But Who Will Guard the Guardians? TOOLS (34) (2000)
David Maley, Ivor T. A. Spence
Config: a case study in combining software engineering techniques. Sci. Program. 8 (2) (2000)
David Maley, Ivor T. A. Spence
Emulating Design by Contract in C++. TOOLS (29) (1999)