Back to Results
First PageMeta Content
Red Lizard Software / Formal verification / Academia / Research / University of New South Wales / Applied mathematics / Open Kernel Labs / NICTA / Gernot Heiser / L4 microkernel family


ISSUE 37 | JULY[removed]INSIDE Queen’s Birthday honours for Dr Terry Percival
Add to Reading List

Document Date: 2015-02-08 20:31:56

Open Document

File Size: 1,37 MB

Share Result on Facebook
UPDATE