Login / Signup
Distributive Laws and Decidable Properties of SOS Specifications.
Bartek Klin
Beata Nachyla
Published in:
EXPRESS/SOS (2014)
Keyphrases
</>
desirable properties
formal specification
machine learning
decision trees
control flow