Sign in

Formal Comparisons of Program Modification.

Chris RoastBabak KhazaeiJawed 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