Content deleted Content added
Replaced link to seL4 as the old link was dead and pointed at a spam site |
|||
Line 79:
| booktitle = 22nd ACM Symposium on Operating System Principles
| pages = 207–220
|date=October 2009
| ___location = Big Sky, Montana, US
| doi =
|