Completeness Problems in Verification of Programs and Program Schemes.

Hajnal Andréka István Németi Ildikó Sain

Published in: MFCS (1979)

Keyphrases

computer programs
optimization problems
programming environment
problems involving
face verification
program execution
symbolic execution
data sets
neural network
data mining
high level
search algorithm
solving problems
test generation
programming education