Formal Methods: A Practical Tool for OS Implementors (1997)

Cached

Download Links

by Patrick Tullmann , Jeff Turner , John Mccorquodale , Jay Lepreau , Ajay Chitturi , Godmar Back
Citations:19 - 2 self