Login / Signup
Proving Programs Incorrect.
Daniel Brand
Published in:
ICALP (1976)
Keyphrases
</>
computer vision
information retrieval
expert systems
programming environment
artificial intelligence
clustering algorithm
database systems
bayesian networks
search algorithm
java programs
provably correct
free software