Richard M. Cohen
William R. Bevier
Richard M. Cohen
William D. Young
Connection policies and controlled interference.
167-176
1995
conf/csfw/1995
CSFW
https://doi.org/10.1109/CSFW.1995.518561
https://doi.ieeecomputersociety.org/10.1109/CSFW.1995.518561
db/conf/csfw/csfw1995.html#BevierCY95
Robert S. Boyer
J Strother Moore
Warren A. Hunt
Richard M. Cohen
Richard C. Holt
Abstracts in software engineering - reports.
92-94
1986
11
ACM SIGSOFT Softw. Eng. Notes
5
https://doi.org/10.1145/382298.382375
db/journals/sigsoft/sigsoft11.html#BoyerMHCH86
Michael K. Smith
Richard M. Cohen
Gypsy verification environment: status.
5-6
1985
10
ACM SIGSOFT Softw. Eng. Notes
4
https://doi.org/10.1145/1012497.1012501
db/journals/sigsoft/sigsoft10.html#SmithC85
Donald I. Good
Richard M. Cohen
James G. Keeton-Williams
Principles of Proving Programs Correct in Gypsy.
42-52
1979
conf/popl/79
POPL
db/conf/popl/popl79.html#GoodC79
POPL/00001696.PDF
https://doi.org/10.1145/567752.567757
Donald I. Good
Richard M. Cohen
Lawrence W. Hunter
A Report On The Development Of Gypsy.
116-122
1978
conf/acm/1978-1
ACM Annual Conference (1)
https://doi.org/10.1145/800127.804078
db/conf/acm/csc1978-1.html#GoodCH78
William R. Bevier
Robert S. Boyer
Donald I. Good
Richard C. Holt
Warren A. Hunt
Lawrence W. Hunter
James G. Keeton-Williams
J Strother Moore
Michael K. Smith
William D. Young