Another Approach for Proving Program Correctness.

Peter A. Ng Sung Y. Bang

Published in: MFCS (1977)

Keyphrases

data mining
real time
data structure
static analysis
data sets
databases
information systems
decision trees
database systems
special case
mobile robot
automatic programming
program execution