Richard M. Cohen

According to our database, Richard M. Cohen authored at least 5 papers between 1978 and 1995.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1995

Connection policies and controlled interference.

William R. Bevier, Richard M. Cohen, William D. Young

Proceedings of the Eighth IEEE Computer Security Foundations Workshop (CSFW '95), 1995

1986

Abstracts in software engineering - reports.

Robert S. Boyer, J Strother Moore, Warren A. Hunt, Richard M. Cohen, Richard C. Holt

ACM SIGSOFT Softw. Eng. Notes, 1986

1985

Gypsy verification environment: status.

Michael K. Smith, Richard M. Cohen

ACM SIGSOFT Softw. Eng. Notes, 1985

1979

Principles of Proving Programs Correct in Gypsy.

Donald I. Good, Richard M. Cohen, James G. Keeton-Williams

Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979

1978

A Report On The Development Of Gypsy.

Donald I. Good, Richard M. Cohen, Lawrence W. Hunter

Proceedings of the Proceedings 1978 ACM Annual Conference, 1978