E. R. Anderson
According to our database1, E. R. Anderson authored at least 4 papers between 1976 and 1990.
Legend:Book In proceedings Article PhD thesis Other
Specification and Verification of the ASOS Kernel.
Proceedings of the 1990 IEEE Symposium on Security and Privacy, 1990
Ada's Suitability for Trusted Computer Systems.
Proceedings of the 1985 IEEE Symposium on Security and Privacy, 1985
Extending an implementation language to a specification language.
Proceedings of the Mathematical Studies of Information Processing, 1978
SEMANOL (73) A Metalanguage for Programming the Semantics of Programming Languages.
Acta Inf., 1976