| |
| 2006 | ||
|---|---|---|
| 2 | Maksym Bortin, Einar Broch Johnsen, Christoph Lüth: Structured Formal Development in Isabelle. Nord. J. Comput. 13(1-2): 2-21 (2006) | |
| 2004 | ||
| 1 | EE | Michael Drouineaud, Maksym Bortin, Paolo Torrini, Karsten Sohr: A First Step Towards Formal Verification of Security Policy Properties for RBAC. QSIC 2004: 60-67 |
| 1 | Michael Drouineaud | [1] |
| 2 | Einar Broch Johnsen | [2] |
| 3 | Christoph Lüth | [2] |
| 4 | Karsten Sohr | [1] |
| 5 | Paolo Torrini | [1] |