21 Oct
2013
21 Oct
'13
3:41 p.m.
Dear colleagues; The next reading group will be held on Friday 1st of November at 10 am.
The presented paper will be: seL4: Formal verification of an OS kernel Gerwin Klein et al., NICTA, Sydney, Australia http://www.ssrg.nicta.com.au/publications/papers/Klein_EHACDEEKNSTW_09.pdf
Regards; Rosta