Sciweavers

ICFEM
2005
Springer
14 years 5 months ago
A Theory of Secure Control Flow
Martín Abadi, Mihai Budiu, Úlfar Erl...