Using model checkers in an introductory course on operating systems
Hamberg, Roelof, Vaandrager, FritsVolume:
42
Language:
english
Journal:
ACM SIGOPS Operating Systems Review
DOI:
10.1145/1453775.1453793
Date:
October, 2008
File:
PDF, 468 KB
english, 2008