|
Search the dblp DataBase
Roddy W. Erickson:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Roddy W. Erickson, David R. Musser
The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs. [Citation Graph (0, 0)][DBLP] CADE, 1980, pp:220-231 [Conf]
- David Casey, Roddy W. Erickson
Practical Tools for Software Test Certification. [Citation Graph (0, 0)][DBLP] COMPCON, 1984, pp:87-90 [Conf]
- Susan L. Gerhart, David R. Musser, David H. Thompson, D. A. Baker, R. L. Bates, Roddy W. Erickson, R. L. London, D. G. Taylor, David S. Wile
An Overview of AFFIRM: A Specification and Verification System. [Citation Graph (0, 0)][DBLP] IFIP Congress, 1980, pp:343-347 [Conf]
- Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe
Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1982, v:8, n:5, pp:460-489 [Journal]
- Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe
Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models". [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1983, v:9, n:1, pp:113- [Journal]
Search in 0.002secs, Finished in 0.002secs
|