J. Joyce
发表
J. Joyce,
K. Wong,
.
M. Gordon,
J. Joyce,
G. Birtwistle,
1986
.
K. Cooper,
M. Ito,
J. Joyce,
1998
.
Karl N. Levitt,
Jeffrey J. Joyce,
Myla Archer,
1992,
TPHOLs.
Jeffrey J. Joyce,
Nancy A. Day,
Alma L. Juarez Dominguez,
2008,
MiSE '08.
Jeffrey J. Joyce,
Nancy A. Day,
N. Day,
2000,
Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219).
Jeffrey J. Joyce,
Nancy A. Day,
Michael R. Donat,
2000
.
Jeffrey J. Joyce,
Nancy A. Day,
N. Day,
1993,
HUG.
Jeffrey J. Joyce,
Nancy A. Day,
Laure Millet,
2018,
2018 IEEE 26th International Requirements Engineering Conference (RE).
Jeffrey J. Joyce,
Nancy A. Day,
N. Day,
1999,
TPHOLs.
Jeffrey J. Joyce,
Carl-Johan H. Seger,
C. Seger,
1993,
HUG.
Jeffrey J. Joyce,
Carl Carl-Johan Seger,
C. Seger,
1992
.
Jeffrey J. Joyce,
Carl-Johan H. Seger,
C. Seger,
1991,
CAV.
Natarajan Shankar,
Friedrich W. von Henke,
Roberto Suaya,
1991,
COMPCON Spring '91 Digest of Papers.
Jeffrey J. Joyce,
J. Joyce,
1989,
Hardware Specification, Verification and Synthesis.
Ivan Damnjanovic,
Stuart D. Anderson,
Molly Gunby,
2013
.
Konrad Slind,
Brian W. Unger,
Greg Lomow,
1987,
TOCS.
Jeffrey J. Joyce,
J. Joyce,
1988,
Specification and Verification of Concurrent Systems.
Jeffrey J. Joyce,
J. Joyce,
1988,
Integr..
Jeffrey J. Joyce,
J. Joyce,
1988
.
Jeffrey John Joyce,
J. Joyce,
1989
.
Jeffrey J. Joyce,
Carl-Johan H. Seger,
C. Seger,
1993,
30th ACM/IEEE Design Automation Conference.
Brian W. Unger,
Jeffrey J. Joyce,
B. Unger,
1984
.
Brian Wyvill,
Graham Birtwistle,
B. Wyvill,
1984
.
Michael J. C. Gordon,
Luc Claesen,
C. Seger,
1994,
Lecture Notes in Computer Science.
Jeffrey J. Joyce,
Kalman C. Toth,
Michael R. Donat,
1996
.
Jeffrey J. Joyce,
Ramesh Rajagopalan,
Laurent Fabre,
2016
.