Fred Spiessens (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

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

Selection of 2 from 4 records - Fred Spiessens has 5 coauthors