E. R. Anderson
According to our database1, E. R. Anderson authored at least 6 papers between 1976 and 1992.
Legend:Book In proceedings Article PhD thesis Other
Secure system architectures and integration.
Proceedings of the Eighth Annual Computer Security Applications Conference, 1992
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
Issues in the Formal Specifications of Programming Languages.
Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977
SEMANOL (73) A Metalanguage for Programming the Semantics of Programming Languages.
Acta Inf., 1976