Login / Signup

GSOS Formalized in Coq.

Ken MadlenerSjaak Smetsers
Published in: TASE (2013)
Keyphrases
  • theorem prover
  • formal methods
  • object oriented
  • machine learning
  • knowledge representation
  • software development