Proving Programs to be Correct.

Published in: IEEE Trans. Computers (1971)

Keyphrases

computer programs
automatic programming
data sets
computer vision
image segmentation
artificial neural networks
evolutionary algorithm
data model
control structures