Login / Signup
The Specification of Sugarscape.
Joseph Kehoe
Published in:
CoRR (2015)
Keyphrases
</>
high level
formal specification
formal verification
data mining
data model
conceptual model
specification language
provably correct
tool suite