Program Checking.

Published in: FSTTCS (1991)

Keyphrases

computer programs
data sets
decision making
knowledge base
image segmentation
three dimensional
programming environment
program execution
control program
program understanding