Target: Issues, System, Design, and Verification (1985)

by Secure Ada
Venue:In Proceedings of the Symposium on Security and Privacy