Proving program correctness in L. C. F..

Luigia Aiello Mario Aiello

Published in: Symposium on Programming (1974)

Keyphrases

data sets
computer programs
program execution
computer vision
multi agent systems
special case
test cases
static analysis