| |
| 2009 | ||
|---|---|---|
| 2 | EE | Paul Boca, Raymond Boute, David Duce, José Oliveira: Editorial. Formal Asp. Comput. 21(3): 225 (2009) |
| 2008 | ||
| 1 | EE | Raymond Boute: Simple Gedanken Experiments in Leveraging Applications of Formal Methods. ISoLA 2008: 847-861 |
| 1 | Paul Boca | [2] |
| 2 | David Duce | [2] |
| 3 | José Oliveira | [2] |