Skip to content
Vinony

Formal Refinement for Operating System Kernels

by Iain D. Craig

Cover of Formal Refinement for Operating System Kernels

No description available.

Operating systems (Computers)Software engineeringOperating systems (computers)
Formal Refinement for Operating System Kernels by Iain D. Craig — book · Vinony