T. Hoare
发表
T. Hoare,
1976
.
Tony Hoare,
T. Hoare,
1975
.
Tony Hoare,
T. Hoare,
1986
.
David A Hayes,
R. Johnston,
T. Hoare,
2008
.
Tony Hoare,
T. Hoare,
1972
.
Cliff B. Jones,
Brian Randell,
T Hoare,
2004
.
Jakob Rehof,
Tony Hoare,
Cédric Fournet,
2004
.
Tony Hoare,
Peter Naur,
Barbara Liskov,
2012
.
Tony Hoare,
T. Hoare,
2007
.
Tony Hoare,
T. Hoare,
1997
.
Tony Hoare,
T. Hoare,
1972
.
M. Wilkes,
T. Hoare,
2004,
Biographical Memoirs of Fellows of the Royal Society.
Tony Hoare,
T. Hoare,
2014
.
Tony Hoare,
T. Hoare,
1981
.
Cliff B. Jones,
Brian Randell,
T Hoare,
2004
.
Tony Hoare,
T. Hoare,
1980
.
Tony Hoare,
Tony Hoare,
T. Hoare,
1961
.
Tony Hoare,
T. Hoare,
1981
.
Tony Hoare,
T. Hoare,
1965
.
Tony Hoare,
T. Hoare,
2002
.
Tony Hoare,
T. Hoare,
1982
.
Tony Hoare,
T. Hoare,
1975
.
Tony Hoare,
T. Hoare,
1986
.
Tony Hoare,
T. Hoare,
1985
.
Tony Hoare,
T. Hoare,
1982
.
Tony Hoare,
T. Hoare,
2000
.
Tony Hoare,
T. Hoare,
1987
.
Tony Hoare,
T. Hoare,
1975
.
Tony Hoare,
T. Hoare,
1994
.
A. Bathmaker,
N. Ingram,
R. Waller,
2016
.
Tony Hoare,
T. Hoare,
1991
.
T. Hoare,
1986
.
Tony Hoare,
T. Hoare,
2011,
Software and Systems Safety - Specification and Verification.
Tony Hoare,
T. Hoare,
1988
.
Tony Hoare,
T. Hoare,
1999
.
Simon Peyton Jones,
Tony Hoare,
Andrew Tolmach,
2001
.
T. Hoare,
E. Pawson,
1989
.
T. Hoare,
K. Bassett,
2016
.
Tony Hoare,
T. Hoare,
1980
.
Georg Struth,
C. A. R. Hoare,
Bernhard Möller,
2005,
J. Log. Algebraic Methods Program..
Peter W. O'Hearn,
C. A. R. Hoare,
P. O'Hearn,
2008,
FICS.
C. A. R. Hoare,
C. Hoare,
T. Hoare,
1969,
CACM.
J. Dong,
Zhé Hóu,
T. Hoare,
2022,
ArXiv.
Georg Struth,
C. A. R. Hoare,
Jim Woodcock,
2019,
UTP.
C. A. R. Hoare,
Jakob Rehof,
Cédric Fournet,
2004,
CAV.
C. A. R. Hoare,
Michael J. Butler,
Carla Ferreira,
2004,
25 Years Communicating Sequential Processes.
C. A. R. Hoare,
Jifeng He,
C. Hoare,
1997,
Euro-Par.
T. Hoare,
2010,
Concurr. Comput. Pract. Exp..
C. A. R. Hoare,
C. Hoare,
T. Hoare,
1974,
CACM.
C. A. R. Hoare,
C. Hoare,
T. Hoare,
2003,
JACM.
C. A. R. HOARE,
C. Hoare,
T. Hoare,
1969,
CACM.
T. Hoare,
2003,
JACM.
Tony Hoare,
T. Hoare,
1988
.
Manfred Broy,
Ralf Steinbrüggen,
Tony Hoare,
2001
.
Tony Hoare,
Kelvyn Jones,
Ron Johnston,
2003
.
Tony Hoare,
T. Hoare,
1987
.
T. Hoare,
S. Staden,
2012,
Formal Aspects of Computing.
C. A. R. Hoare,
T. Hoare,
2013,
Theories of Programming and Formal Methods.