Proving operating systems correct
By: by Richard Alan Karp.
Series: Computer Science.; no. 16
Publisher: UMI Research Press; UMI Research Press,U.S.
Published: 1983
Place of publication: Ann Arbor, Mich
Language: eng
Number of pages: 161
Subjects: Operating systems (Computers); Computer programs -- Verification.
Notes: Bibliography: p. [157]-158.
Revision of thesis (doctoral--Stanford University, 1980)
Includes index.