Login / Signup

Specification and formal verification of security requirements.

Isaac AgudoJavier López
Published in: CompSysTech (2004)
Keyphrases