source: src/ASM/CPP2011/cpp-2011.bib @ 927

Last change on this file since 927 was 927, checked in by mulligan, 8 years ago

changes

File size: 1.3 KB
Line 
1@article
2{ klein:sel4:2010,
3  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, Harvey Tuch and Simon Winwood},
4  title = {{seL4}: Formal verification of an operating system kernel},
5  journal = {Communications of the {ACM}},
6  issue = {6},
7  volume = {53},
8  pages = {107--115},
9  year = {2010}
10}
11
12@proceedings
13{ klein:sel4:2009,
14  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, Harvey Tuch and Simon Winwood},
15  title = {{seL4}: Formal verification of an operating system kernel},
16  booktitle = {Proceedings of the $22^\mathrm{nd}$ {ACM} Symposium on Operating Systems Principles},
17  year = {2009}
18}
19
20@misc
21{ cerco:2011,
22  title = {The {CerCo} project},
23  url = {http://cerco.cs.unibo.it/},
24  year = {2011}
25}
26
27@misc
28{ compcert:2011,
29  title = {The {CompCert} project},
30  url = {http://compcert.inria.fr/},
31  year = {2011}
32}
33
34@misc
35{ sel4:2011,
36  title = {The {l4.verified} project},
37  url = {http://ertos.nicta.com.au/research/l4.verified/},
38  year = {2011}
39}
Note: See TracBrowser for help on using the repository browser.