 | 1996 |
|---|
| 8 |       | Joseph A. Profeta III,
Nikos P. Andrianos,
Bing Yu,
Barry W. Johnson,
Todd A. DeLong,
David Guaspari,
Damir Jamsek:
Safety-Critical Systems Built with COTS.
IEEE Computer 29(11): 54-60 (1996) |
| 1994 |
|---|
| 7 |  | C. Michael Holloway,
Ben L. Di Vito,
David Guaspari,
Michael Smith:
Formal Methods Fact vs. Fiction.
TRI-Ada 1994: 256-258 |
| 1992 |
|---|
| 6 | | David Guaspari,
Carla Marceau,
Wolfgang Polak:
Formal Verification of Ada Programs.
Larch 1992: 104-141 |
| 1991 |
|---|
| 5 | | David Guaspari:
Formally Specifying the Logic of an Automatic Guidance Controller.
Ada-Europe 1991: 372-383 |
| 1990 |
|---|
| 4 | | David Guaspari,
Carla Marceau,
Wolfgang Polak:
Formal Verification of Ada Programs.
IEEE Trans. Software Eng. 16(9): 1058-1075 (1990) |
| 1983 |
|---|
| 3 | | David Guaspari:
Sentences Implying Their Own Provability.
J. Symb. Log. 48(3): 777-789 (1983) |
| 1980 |
|---|
| 2 | | David Guaspari:
Definability in Models of Set Theory.
J. Symb. Log. 45(1): 9-19 (1980) |
| 1974 |
|---|
| 1 | | David Guaspari:
A Note on the Kondo-Addison Theorem.
J. Symb. Log. 39(3): 567-570 (1974) |
