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".
seL4: Formal Verification of an OS Kernel
→
title
→
"seL4: Formal Verification of an OS Kernel"
ⓘ
↳ resolves to “seL4: Formal Verification of an OS Kernel”
linked to:
“seL4: Formal Verification of an OS Kernel”