3 ms·
That is $15 for non-members. First Google result for "Comprehensive formal verification of an OS microkernel" is a PDF link on ssrg.nicta.com.au. Good enough fo
by tempVariable 11y ago
That is $15 for non-members. First Google result for "Comprehensive formal verification of an OS microkernel" is a PDF link on ssrg.nicta.com.au. Good enough for me.