Refinement Types for Secure Implementations.

Jesper Bengtson Karthikeyan Bhargavan Cédric Fournet Andrew D. Gordon Sergio Maffeis

Published in: CSF (2008)

Keyphrases

neural network
real world
decision trees
multiscale
multi agent
data model
wireless sensor networks
highly efficient