| |
| 2003 | ||
|---|---|---|
| 1 | EE | André Rifaut, Philippe Massonet, Jean-François Molderez, Christophe Ponsard, Pierre Stadnik, Axel van Lamsweerde, Hung Tran Van: FAUST: Formal Analysis Using Specification Tools. RE 2003: 350 |
| 1 | Axel van Lamsweerde | [1] |
| 2 | Philippe Massonet | [1] |
| 3 | Jean-François Molderez | [1] |
| 4 | Christophe Ponsard | [1] |
| 5 | André Rifaut | [1] |
| 6 | Hung Tran Van | [1] |