Login / Signup
Domains of Application for Formal Methods.
John E. Nicholls
Published in:
Z User Workshop (1991)
Keyphrases
</>
formal methods
artificial intelligence
database
real world
case study
formal analysis
security properties