Login / Signup
Combining WS1S and HOL.
David A. Basin
Stefan Friedrich
Published in:
FroCoS (1998)
Keyphrases
</>
business process
formal methods
decision trees
training data
high quality
digital libraries
theorem prover
databases
real world
computer vision
information systems
high level
color images