- CSB - MetaPress - Google - Bing - Yahoo
 | 1997 | |
|---|---|---|
| 1 |      | Patrick Tullmann, Jeff Turner, John McCorquodale, Jay Lepreau, Ajay Chitturi, Godmar Back: Formal Methods: A Practical Tool for OS Implementors. Workshop on Hot Topics in Operating Systems 1997: 20-25 |
| 1 | Godmar Back | [1] |
| 2 | Jay Lepreau | [1] |
| 3 | John McCorquodale | [1] |
| 4 | Patrick Tullmann | [1] |
| 5 | Jeff Turner | [1] |