|
Search the dblp DataBase
David Guaspari:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- David Guaspari
Formally Specifying the Logic of an Automatic Guidance Controller. [Citation Graph (0, 0)][DBLP] Ada-Europe, 1991, pp:372-383 [Conf]
- David Guaspari, Carla Marceau, Wolfgang Polak
Formal Verification of Ada Programs. [Citation Graph (0, 0)][DBLP] Larch, 1992, pp:104-141 [Conf]
- C. Michael Holloway, Ben L. Di Vito, David Guaspari, Michael Smith
Formal Methods Fact vs. Fiction. [Citation Graph (0, 0)][DBLP] TRI-Ada, 1994, pp:256-258 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] IEEE Computer, 1996, v:29, n:11, pp:54-60 [Journal]
- David Guaspari
A Note on the Kondo-Addison Theorem. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1974, v:39, n:3, pp:567-570 [Journal]
- David Guaspari
Definability in Models of Set Theory. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1980, v:45, n:1, pp:9-19 [Journal]
- David Guaspari
Sentences Implying Their Own Provability. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1983, v:48, n:3, pp:777-789 [Journal]
- David Guaspari, Carla Marceau, Wolfgang Polak
Formal Verification of Ada Programs. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1990, v:16, n:9, pp:1058-1075 [Journal]
Search in 0.002secs, Finished in 0.003secs
|