Disambiguation evidence for “seL4: Formal Verification of an OS Kernel” via surface form
"seL4: Formal Verification of an OS Kernel"
No triples for this surface form
Surface form "seL4: Formal Verification of an OS Kernel"
was not used to refer to this entity at the
object position of any triple.