Toward building verified, secure systems

Donald I. Good. Toward building verified, secure systems. ACM SIGSOFT Software Engineering Notes, 6(3):4-8, 1981. [doi]

Abstract

Abstract is missing.