| 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] |