| 2009 | ||
|---|---|---|
| 2 | Marieke Huisman, Alejandro Tamalet: A Formal Connection between Security Automata and JML Annotations. FASE 2009: 340-354 | |
| 1 | Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers: Preemption Abstraction. FMICS 2009: 149-164 | |
| 1 | Marko C. J. D. van Eekelen | [1] |
| 2 | Marieke Huisman | [2] |
| 3 | Erik Schierboom | [1] |
| 4 | Sjaak Smetsers (J. E. W. Smetsers) | [1] |
| 5 | Hendrik Tews | [1] |