Formal Comparisons of Program Modification.

Chris Roast Babak Khazaei Jawed I. A. Siddiqi

Published in: VL (2000)

Keyphrases

formal model
data sets
computer programs
information retrieval
genetic algorithm
artificial intelligence
image processing
case study
static analysis
formal models
formal language