A Simple Program whose Derivation and Proof is Also.

Jinyun Xue Ruth Davis

Published in: ICFEM (1997)

Keyphrases

case study
image processing
data sets
information retrieval
learning environment
highly reliable
program execution
proof planning