Sign in

Data Access Specification and the Most Powerful Symbolic Attacker in MSR.

Iliano Cervesato
Published in: ISSS (2002)
Keyphrases