Formal Methods: A Practical Tool for OS Implementors.
Patrick Tullmann, Jeff Turner, John McCorquodale, Jay Lepreau, Ajay Chitturi, Godmar Back
VenueAHotOS
Year1997
ProceedingsWorkshop on Hot Topics in Operating Systems
DBLP recordconf/hotos/TullmannTMLCB97 ↗
Browse the full HotOS paper archive.