D. Guaspari
发表
D. Guaspari,
1994,
Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.
D. Guaspari,
D. Naydich,
D. Guaspari,
2000,
19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126).
D. Guaspari,
1989,
TRI-Ada '89.
D. Guaspari,
BY D. Guaspari,
1979
.