Posts Tagged ‘formal’

Formal verification of an operating system kernel

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