A more mechanical approach to program verification.

Irene Greif Richard J. Waldinger

Published in: Symposium on Programming (1974)

Keyphrases

artificial intelligence
databases
knowledge base
image segmentation
expert systems
pairwise
multiresolution