Formal Refinement for Operating System Kernels
Publisher: Springer
Published: 2010
ISBN-13: 9781849966894