User menu

A practical formal model for safety analysis in capability-based systems

Bibliographic reference Spiessens, R ; Van Roy, Peter. A practical formal model for safety analysis in capability-based systems.International Symposium on Trustworthy Global Computing (Edinburgh(Scotland), Apr 07-09, 2005). In: Lecture Notes in Computer Science, Vol. 3705, p. 248-278 (2005)
Permanent URL http://hdl.handle.net/2078.1/60085