Craig, Iain D. , <br/><br/>
Formal refinement for operating system kernels / 
Iain D. Craig. 
 - xiii, 332 pages ;  25 cm. 
<br/><br/><label>ISBN: </label>9781846289668 1846289661 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Operating systems (Computers).
<br/><br/><label>LC Class. No.: </label>QA76.76.O63   / .C72 2007