James G. Keeton-Williams

According to our database, James G. Keeton-Williams authored at least 3 papers between 1979 and 1981.

Collaborative distances:

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

1981

A practical verification system.

James G. Keeton-Williams, Anne-Marie G. Discepolo

ACM SIGSOFT Softw. Eng. Notes, 1981

1980

Demonstrating Security for Trusted Applications on a Security Kernel Base.

Stanley R. Ames Jr., James G. Keeton-Williams

Proceedings of the 1980 IEEE Symposium on Security and Privacy, 1980

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