Proving Programs Incorrect.

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