Norman Proctor. The Restricted Access Processor An Example of Formal Verification. In 1985 IEEE Symposium on Security and Privacy, Oakland, CA, USA, April 22-24, 1985. pages 49-55, IEEE Computer Society, 1985. [doi]
No references recorded for this publication.
No citations of this publication recorded.