Dead Programs.

Gerard J. Holzmann

Published in: IEEE Softw. (2017)

Keyphrases

case study
database
data sets
image processing
web services
evolutionary algorithm
multiresolution
control structures
real time
databases
information retrieval
information systems
software engineering
automatic programming