Richard M. Cohen

Publication Activity (10 Years)

Years Active: 1978-1995
Publications (10 Years): 0

Publications

William R. Bevier, Richard M. Cohen, William D. Young
Connection policies and controlled interference. CSFW (1995)
Robert S. Boyer, J Strother Moore, Warren A. Hunt, Richard M. Cohen, Richard C. Holt
Abstracts in software engineering - reports. ACM SIGSOFT Softw. Eng. Notes 11 (5) (1986)
Michael K. Smith, Richard M. Cohen
Gypsy verification environment: status. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Donald I. Good, Richard M. Cohen, James G. Keeton-Williams
Principles of Proving Programs Correct in Gypsy. POPL (1979)
Donald I. Good, Richard M. Cohen, Lawrence W. Hunter
A Report On The Development Of Gypsy. ACM Annual Conference (1) (1978)