Program Equivalence and Provability.

Guy Cousineau Patrice Enjalbert

Published in: MFCS (1979)

Keyphrases

computer programs
static analysis
data sets
information systems
search algorithm
multiresolution
test cases
program understanding