David Greenaway
发表
Xin Gao,
Gerwin Klein,
June Andronick,
2013,
ICFEM.
Gerwin Klein,
June Andronick,
David Greenaway,
2014,
PLDI.
Kevin Elphinstone,
June Andronick,
David Greenaway,
2010,
SSV.
Gerwin Klein,
June Andronick,
David Greenaway,
2012,
ITP.
David Greenaway,
1995
.
David Greenaway,
David Greenaway,
2014
.
Kevin Elphinstone,
David Greenaway,
Sergio Ruocco,
2007
.
Gerwin Klein,
Andrew Boyton,
Matthew Fernandez,
2014
.
David Greenaway,
Japheth Lim,
2014
.
Cezary Kaliszyk,
Josef Urban,
Jasmin Christian Blanchette,
2016,
Journal of Automated Reasoning.
David Greenaway,
D. Greenaway,
Vudayagiri Balasubramanyam,
1992
.
David Greenaway,
Neil Foster-McGregor,
Rod Falvey,
2006
.
David Greenaway,
Michael Bleaney,
Ian M. T. Stewart,
1992
.
David Greenaway,
Chris Milner,
D. Greenaway,
1996
.
David Greenaway,
Chris Milner,
1979
.
David Greenaway,
D. Greenaway,
Chong Hyun Nam,
1988
.
Who's publishing who? The national composition of contributors to some core US and European journals
David Greenaway,
Caroline Elliott,
David Sapsford,
1998
.
David Greenaway,
Joakim Gullstrand,
Richard Kneller,
2005
.
David Greenaway,
D. Greenaway,
M. Bleaney,
1993
.
David Greenaway,
Richard Kneller,
D. Greenaway,
2007
.
David Greenaway,
Jagdish N. Bhagwati,
D. Greenaway,
1998
.
David Greenaway,
D. Greenaway,
N. Foster,
2004
.
David Greenaway,
Neil Foster-McGregor,
D. Greenaway,
2002
.