Login / Signup
Information Flow Analysis of Formal Specifications.
Jonathan K. Millen
Published in:
IEEE Symposium on Security and Privacy (1981)
Keyphrases
</>
flow analysis
information flow
database
data mining
query language
data warehouse
formal specification