Disambiguation evidence for “seL4: Formal Verification of an OS Kernel” via surface form
"“seL4: Formal Verification of an OS Kernel”"
Triples (1)
Triples where some other subject referred to this entity
as "“seL4: Formal Verification of an OS Kernel”".
Gerwin Klein
→
notablePublication
→
"“seL4: Formal Verification of an OS Kernel”"
ⓘ
↳ resolves to “seL4: Formal Verification of an OS Kernel”