Ada's Suitability for Trusted Computer Systems

E. R. Anderson. Ada's Suitability for Trusted Computer Systems. In 1985 IEEE Symposium on Security and Privacy, Oakland, CA, USA, April 22-24, 1985. pages 184-189, IEEE Computer Society, 1985. [doi]

Abstract

Abstract is missing.