Login / Signup
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies.
Alessandro Armando
Silvio Ranise
Riccardo Traverso
Konrad S. Wrona
Published in:
SACMAT (2015)
Keyphrases
</>
databases
analysis tool