| |
| 1997 | ||
|---|---|---|
| 2 | Bryan Ford, Kevin Van Maren, Jay Lepreau, Stephen Clawson, Bart Robinson, Jeff Turner: The Flux OS Toolkit: Reusable Components for OS Implementation. Workshop on Hot Topics in Operating Systems 1997: 14-19 | |
| 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 | Ajay Chitturi | [1] |
| 3 | Stephen Clawson | [2] |
| 4 | Bryan Ford | [2] |
| 5 | Jay Lepreau | [1] [2] |
| 6 | Kevin Van Maren | [2] |
| 7 | John McCorquodale | [1] |
| 8 | Bart Robinson | [2] |
| 9 | Patrick Tullmann | [1] |