D. Guaspari
发表
M. Bickford,
R. Constable,
D. Guaspari,
2011
.
M. Bickford,
D. Guaspari,
2022
.
Vincent Rahli,
M. Bickford,
R. Constable,
2015
.
Barry W. Johnson,
T. A. DeLong,
D. Guaspari,
1996,
Computer.
D. Guaspari,
N. Murase,
G. Bond,
2005,
Transplant immunology.
D. Guaspari,
T. Starzl,
A. Demetris,
2004
.
David Guaspari,
D. Guaspari,
1983,
Journal of Symbolic Logic.
Wolfgang Polak,
Carla Marceau,
David Guaspari,
1990,
IEEE Trans. Software Eng..
Carla Marceau,
David Guaspari,
Matthew Stillerman,
1995,
Proceedings 1995 IEEE Symposium on Security and Privacy.
Mark Bickford,
Robert L. Constable,
Vincent Rahli,
2017,
Sci. Comput. Program..
Mark Bickford,
Robert L. Constable,
Vincent Rahli,
2015,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
David Guaspari,
Dimitri Naydich,
D. Guaspari,
2000
.
D. Guaspari,
D. Naydich,
D. Guaspari,
2000,
19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126).
Mark Bickford,
Robert L. Constable,
Vincent Rahli,
2012
.
Mark Bickford,
David Guaspari,
M. Bickford,
2005
.
David Guaspari,
D. Guaspari,
1980,
Journal of Symbolic Logic.