Proof of properties in avionics.

Jean Souyris Denis Favre-Felix

Published in: IFIP Congress Topical Sessions (2004)

Keyphrases

theorem proving
machine learning
structural properties
imperative programs
e learning
website
multi agent
computational complexity
expert systems
theorem prover