Code Craft.

Gerard J. Holzmann

Published in: IEEE Softw. (2017)

Keyphrases

source code
data sets
artificial intelligence
case study
face recognition
data structure
preprocessing
hidden markov models
software systems
static analysis
code generation
malicious code