Posts Tagged ‘kernel’

Formal verification of an operating system kernel

Posted in Uncategorized on Tuesday, June 8th, 2010. One comment so far