Login / Signup
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