Disambiguation evidence for seL4 microkernel via surface form
"seL4"
Triples (1)
Triples where some other subject referred to this entity
as "seL4".
linked to:
“seL4: Formal Verification of an OS Kernel”