CoInduction in Coq

Published in: CoRR (2006)

Keyphrases

formal methods
theorem prover
first order logic
fine grained
software engineering
inference rules
software development
bayesian networks
natural language
xml documents
building blocks
business processes
business process