Login / Signup
SLEDE: lightweight verification of sensor network security protocol implementations.
Youssef Hanna
Published in:
ESEC/SIGSOFT FSE (Companion) (2007)
Keyphrases
</>