Login / Signup
Constructing Specifications and Modules in a KZ-doctrine.
Gillian Hill
Published in:
Theory and Formal Methods (1994)
Keyphrases
</>
formal specification
social networks
high level
knowledge structures
case law
neural network
real world
computer vision
distributed systems
formal verification
functional modules
bounded model checking