Code Vault.

Gerard J. Holzmann

Published in: IEEE Softw. (2018)

Keyphrases

source code
database
error correcting
real time
decision making
high level
face recognition
learning environment
search algorithm
digital libraries
probability distribution
code generation