Formal Refinement for Operating System Kernels

Format:: e-book
Title:: Formal Refinement for Operating System Kernels
Author:: Craig, I.; Craig, Iain D.
Language:: English
Publisher:: Springer London 2007
ISBN:: 1-84628-966-1
9786610956890
1-280-95689-5
1-84628-967-X
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000405171?locale=en