Login / Signup
Lightweight Verification with Dependent Types.
Aaron Stump
Published in:
VERIFY (2007)
Keyphrases
</>
lightweight
wireless sensor networks
dos attacks
rfid tags
handheld devices
development environments