Kit: A Study in Operating System Verification.

William R. Bevier

Published in: IEEE Trans. Software Eng. (1989)

Keyphrases

operating system
computer systems
windows xp
database
data model
distributed systems
database applications
virtual machine
command line