John Kelly
发表
Mandayam K. Srivas,
Muffy Calder,
George Cleland,
1995,
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.
John C. Kelly,
Kelvin S. Bryant,
Aniesha Alford,
2016
.
Wanda Reder,
John Kelly,
Clyde Kofman,
2012,
ISGT.
Derek S. Thomson,
John Kelly,
Roy Stuart Webb,
2000
.
Derek S. Thomson,
John Kelly,
Roy Stuart Webb,
1997
.
Derek S. Thomson,
John Kelly,
Roy Stuart Webb,
1998
.
Qiping Shen,
Ming Sun,
John Kelly,
2005
.
Scott Fernie,
Graeme Bowles,
S Male,
1998
.
Graeme Bowles,
S Male,
John Kelly,
2011
.
Rodney Turner,
Ann Ledwith,
John Kelly,
2012
.
Paul Bowen,
Keith Cattell,
Kirsty Hunter,
2007
.