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