Login / Signup
Algebraic Specification Languages: An Overview.
Martin Wirsing
Published in:
COMPASS/ADT (1994)
Keyphrases
</>
specification languages
formal specification
object oriented programs
first order logic
data sets
neural network
real world
machine learning
knowledge base
model checking
algebraic geometry