Roddy W. Erickson

According to our database1, Roddy W. Erickson authored at least 5 papers between 1980 and 1984.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1984
Practical Tools for Software Test Certification.
Proceedings of the COMPCON'84, Digest of Papers, Twenty-Eighth IEEE Computer Society International Conference, San Francisco, California, USA, February 27, 1984

1983
Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models".
IEEE Trans. Software Eng., 1983

1982
Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models.
IEEE Trans. Software Eng., 1982

1980
An Overview of AFFIRM: A Specification and Verification System.
Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs.
Proceedings of the 5th Conference on Automated Deduction, 1980


  Loading...