Login / Signup

Steelman and the verifiability of (preliminary) ADA.

William D. YoungDonald I. Good
Published in: ACM SIGPLAN Notices (1981)
Keyphrases
  • security properties
  • fine grained
  • artificial intelligence
  • information systems
  • anomaly detection
  • e government