Securing a compiler transformation.

Chaoqiang Deng Kedar S. Namjoshi

Published in: Formal Methods Syst. Des. (2018)

Keyphrases

general purpose
programming language
fukunaga koontz
software systems
multiscale
search algorithm
neural network
computer vision
decision making
high level
multi agent
object oriented
information security
identity management