Login / Signup

Efficient type and memory safety for tiny embedded systems.

John RegehrNathan CoopriderWill ArcherEric Eide
Published in: PLOS (2006)
Keyphrases