E. R. Anderson

According to our database1, E. R. Anderson
  • authored at least 4 papers between 1976 and 1990.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1990
Specification and Verification of the ASOS Kernel.
Proceedings of the 1990 IEEE Symposium on Security and Privacy, 1990

1985
Ada's Suitability for Trusted Computer Systems.
Proceedings of the 1985 IEEE Symposium on Security and Privacy, 1985

1978
Extending an implementation language to a specification language.
Proceedings of the Mathematical Studies of Information Processing, 1978

1976
SEMANOL (73) A Metalanguage for Programming the Semantics of Programming Languages.
Acta Inf., 1976


  Loading...