D. Aspinall
发表
Stephen Gilmore,
Ian Stark,
Martin Hofmann,
2004,
CASSIS.
David Aspinall,
Jaroslav Sevcík,
D. Aspinall,
2007,
TPHOLs.
Alan Bundy,
David Aspinall,
Alison Elizabeth Mercer,
2006
.
David Aspinall,
Adriana B. Compagnoni,
D. Aspinall,
2004,
Journal of Automated Reasoning.
David Aspinall,
Konstantin Knorr,
D. Aspinall,
2015,
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
D. Aspinall,
Mike Just,
David Aspinall,
2009
.
René Rydhof Hansen,
D. Aspinall,
B. Jacobs,
2010
.
D. Aspinall,
M. Seghir,
Lenka Marekova,
2017
.
D. Aspinall,
M. Seghir,
2016
.
D. Aspinall,
Mike Just,
David Aspinall,
2009
.
Mike Just,
David Aspinall,
D. Aspinall,
2009
.
A. D. Gordon,
Charles Sutton,
D. Aspinall,
2016
.
D. Aspinall,
Wei Chen,
G. Grov,
2019
.
D. Aspinall,
Bela Gor,
2015
.
Orlin G. Grigorov,
D. McGuinness,
D. Aspinall,
2008
.
Andrew D. Gordon,
David Aspinall,
Wei Chen,
2016
.
Wei Chen,
Andrew D. Gordon,
David Aspinall,
2015
.
D. Aspinall,
Petr Sojka,
C. Lange,
2013
.
J. Camenisch,
D. Aspinall,
M. Hansen,
2019
.
Wei Chen,
Andrew D. Gordon,
David Aspinall,
2015
.
D. Aspinall,
S. Gilmore,
M. Hofmann,
2017
.
D. Aspinall,
2007
.
Stephen Gilmore,
Hans-Wolfgang Loidl,
Donald Sannella,
2007
.
D. Aspinall,
S. Gilmore,
M. Hofmann,
2005
.
D. Aspinall,
S. Gilmore,
M. Hofmann,
2005
.
D. Aspinall,
M. Hofmann,
2000
.
D. Aspinall,
Adrià Gascón,
David Butler,
2017
.
D. Aspinall,
Adrià Gascón,
David Butler,
2017
.
Martin Hofmann,
Stephen Gilmore,
Kenneth MacKenzie,
2005,
Trends in Functional Programming.
Sheung Chi Chan,
D. Aspinall,
Wei Chen,
2022,
SN Computer Science.
D. Aspinall,
R. Flood,
H. Clausen,
2021
.
D. Aspinall,
G. Grov,
H. Clausen,
2021
.
Sheung Chi Chan,
D. Aspinall,
Wei Chen,
2022,
SN Computer Science.
Christoph Lüth,
David Aspinall,
Daniel Winterstein,
2013
.
Stephen Gilmore,
Hans-Wolfgang Loidl,
Donald Sannella,
2005
.
D. Aspinall,
I. Stark,
P. Stevens,
1989,
The China Quarterly.
Wei Chen,
Andrew D. Gordon,
Charles A. Sutton,
2016,
WISEC.
D. Aspinall,
P. V. Oorschot,
A. Menezes,
2002
.
David Aspinall,
Maria Wolters,
Konstantin Knorr,
2015,
SEC.
Adrià Gascón,
David Butler,
David Aspinall,
2020,
CPP.
David Aspinall,
Steven Obua,
Mark Adams,
2013,
MKM/Calculemus/DML.
David Aspinall,
D. Aspinall,
David Aspinall,
1994,
CSL.
D Aspinall,
D. Aspinall,
J. Carette,
2013
.
David Aspinall,
Maria Wolters,
D. Aspinall,
2015
.
David Aspinall,
D. Aspinall,
David Aspinall,
2000,
TACAS.
Robert Atkey,
Ekaterina Komendantskaya,
Daniel Kienitz,
2020,
APLAS.
Christoph Lüth,
David Aspinall,
Daniel Winterstein,
2007,
Calculemus/MKM.
Mike Just,
David Aspinall,
D. Aspinall,
2009,
SOUPS.
Ewen Denney,
Christoph Lüth,
David Aspinall,
2010,
Math. Comput. Sci..