Login / Signup
Static Analysis using Parameterised Boolean Equation Systems
María-del-Mar Gallardo
Christophe Joubert
Pedro Merino
Published in:
CoRR (2006)
Keyphrases
</>
static analysis
real world
database
building blocks
boolean functions
malicious code
third party