Citation Impact

Citing Papers

seL4
2009 Standout

Works of Ralf Huuck being referenced

Operating System Verification
2009
Rankless by CCL
2026