B. Roscoe
发表
Sadie Creese,
Michael Goldsmith,
Bill Roscoe,
2003
.
Bill Roscoe,
B. Roscoe,
1994
.
Bill Roscoe,
B. Roscoe,
1986
.
Bill Roscoe,
B. Roscoe,
1985
.
Bill Roscoe,
Bill Roscoe,
B. Roscoe,
1990
.
Bill Roscoe,
B. Roscoe,
1987
.
Bill Roscoe,
B. Roscoe,
1991
.
Bill Roscoe,
B. Roscoe,
1999
.
Bill Roscoe,
B. Roscoe,
2013
.
Jim Woodcock,
Jim Davies,
Bill Roscoe,
2000
.
Bill Roscoe,
B. Roscoe,
2017
.
Bill Roscoe,
B. Roscoe,
2010
.
Bill Roscoe,
B. Roscoe,
2014
.
Bill Roscoe,
B. Roscoe,
1988
.
Bill Roscoe,
B. Roscoe,
2012
.
Márcio Cornélio,
Bill Roscoe,
B. Roscoe,
2015,
Lecture Notes in Computer Science.
Bill Roscoe,
B. Roscoe,
2001
.
Erik P. de Vink,
Jan Peleska,
Klaus Havelund,
2018,
Lecture Notes in Computer Science.
Bill Roscoe,
B. Roscoe,
2011
.
Zhong Chen,
Chao Liu,
A. W. Roscoe,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).
B. Roscoe,
1990
.
Bill Roscoe,
B. Roscoe,
2013
.
Joël Ouaknine,
A. W. Roscoe,
Gavin Lowe,
2014,
HOWARD-60.
Joël Ouaknine,
A. W. Roscoe,
Hristina Palikareva,
2009,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
A. W. Roscoe,
B. Roscoe,
2009,
J. Log. Algebraic Methods Program..
Michael Goldsmith,
A. W. Roscoe,
Nick Moffat,
2008,
ICFEM.
Sadie Creese,
Michael Goldsmith,
A. W. Roscoe,
2005,
SPC.
A. W. Roscoe,
Philippa J. Hopcroft,
B. Roscoe,
2000,
SPIN.
A. W. Roscoe,
Gavin Lowe,
G. Lowe,
1997,
IEEE Trans. Software Eng..
Bill Roscoe,
B. Roscoe,
2016
.
A. W. Roscoe,
J. Ouaknine,
G. Lowe,
2014
.
A. W. Roscoe,
Ranko Lazic,
Thomas Christopher Newcomb,
2004,
25 Years Communicating Sequential Processes.
Bill Roscoe,
B. Roscoe,
2001
.
Bill Roscoe,
B. Roscoe,
2000
.
Michael Goldsmith,
A. W. Roscoe,
Nick Moffat,
2003,
FME.
Bill Roscoe,
B. Roscoe,
2004
.
B. Roscoe,
1985
.