| 2005 | ||
|---|---|---|
| 2 | EE | Fred Spiessens, Peter Van Roy: A Practical Formal Model for Safety Analysis in Capability-Based Systems. TGC 2005: 248-278 |
| 2004 | ||
| 1 | EE | Fred Spiessens, Peter Van Roy: The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language. MOZ 2004: 21-40 |
| 1 | Peter Van Roy | [1] [2] |