Login / Signup
Design Choices in Specification Languages and Verification Systems.
John M. Rushby
Published in:
TPHOLs (1991)
Keyphrases
</>
design choices
specification languages
trade off
expert systems
design space
multi agent
relational databases
distributed systems
online learning
design decisions
formal specification