James G. Keeton-Williams

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1981

A practical verification system.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1981

1980

Demonstrating Security for Trusted Applications on a Security Kernel Base.

[BibT_eX]

[DOI]

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

1979

Principles of Proving Programs Correct in Gypsy.

[BibT_eX]

[DOI]

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