R. Boulton
发表
M. Gordon,
R. Boulton,
J. Herbert,
1991
.
T. Melham,
Louise Dennis,
Michael Norrish,
2003
.
P. Applications,
M. Gordon,
T. Melham,
1992
.
Richard J. Boulton,
Tobias Nipkow,
Alan Bundy,
2003,
Lecture Notes in Computer Science.
Richard J. Boulton,
Michael Norrish,
Konrad Slind,
2003,
International Journal on Software Tools for Technology Transfer.
Richard J. Boulton,
Michael Norrish,
Konrad Slind,
2000,
TACAS.
Richard J. Boulton,
R. Boulton,
1997,
TACAS.
Richard J. Boulton,
R. Boulton,
1993,
Formal Methods Syst. Des..
Richard J. Boulton,
Joe Hurd,
Konrad Slind,
2009,
Journal of Automated Reasoning.
Richard J. Boulton,
John Herbert,
Andrew D. Gordon,
1992,
TPCD.
Richard Boulton,
R. Boulton,
1993
.
Richard J. Boulton,
Alan Bundy,
Konrad Slind,
1998,
TPHOLs.
R. Boulton,
1992,
TPHOLs.
Richard J. Boulton,
R. Boulton,
1995,
TPHOLs.
R. Boulton,
K. Raj,
1987
.
Richard J. Boulton,
R. Boulton,
1999,
Journal of Functional Programming.
R. Boulton,
Konrad Slind,
Joe Hurd,
2009,
Journal of Automated Reasoning.
Richard J. Boulton,
R. Boulton,
1998,
TPHOLs.