| 1984 |
|---|
| 5 | | David Casey,
Roddy W. Erickson:
Practical Tools for Software Test Certification.
COMPCON 1984: 87-90 |
| 1983 |
|---|
| 4 | | 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".
IEEE Trans. Software Eng. 9(1): 113 (1983) |
| 1982 |
|---|
| 3 | | 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.
IEEE Trans. Software Eng. 8(5): 460-489 (1982) |
| 1980 |
|---|
| 2 | | Roddy W. Erickson,
David R. Musser:
The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs.
CADE 1980: 220-231 |
| 1 | | 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.
IFIP Congress 1980: 343-347 |
