The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
seL4: Formal Verification of an Operating-System Kernel
The work
| Authors | Gerwin Klein; June Andronick; Kevin Elphinstone; Gernot Heiser; David Cock; Philip Derrin; Dhammika Elkaduwe; Kai Engelhardt; Rafal Kolanski; Michael Norrish; Thomas Sewell; Harvey Tuch; Simon Winwood |
|---|---|
| Editors | |
| Type | misc |
| Year | 2010 |
| Also known as | anon2010sel4 |
| Citekey | klein2010sel4 |
Where it appeared
| Publisher | Association for Computing Machinery (ACM) |
|---|
Identifiers
| DOI | 10.1145/1743546.1743574 |
|---|
How it got here
| How it got here | agent via unpaywall |
|---|---|
| Added | 2026-10-25 13:34 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@misc{klein2010sel4,
title = {seL4: Formal Verification of an Operating-System Kernel},
author = {Gerwin Klein and June Andronick and Kevin Elphinstone and Gernot Heiser and David Cock and Philip Derrin and Dhammika Elkaduwe and Kai Engelhardt and Rafal Kolanski and Michael Norrish and Thomas Sewell and Harvey Tuch and Simon Winwood},
year = {2010},
publisher = {Association for Computing Machinery (ACM)},
doi = {10.1145/1743546.1743574},
}
This record lives at https://refs.drheap.org/klein2010sel4/ and will keep
doing so. It used to be called anon2010sel4, and those addresses still resolve to this one.