DMCA

Automating security analysis: symbolic equivalence of constraint systems (2010)

by Vincent Cheval , Hubert Comon-lundh , Stéphanie Delaune
Citations:19 - 6 self