Login / Signup

Certified assembly programming with embedded code pointers.

Zhaozhong NiZhong Shao
Published in: POPL (2006)
Keyphrases