Sign in
Software Security: A Formal Perspective - (Notes for a Talk).
Martín Abadi
Published in:
FM (2012)
Keyphrases
</>
artificial intelligence
neural network
computer vision
viewpoint
social networks
multimedia
clustering algorithm
data structure
multi agent systems
lower bound
formal model
formal language