| |
| 2004 | ||
|---|---|---|
| 1 | Yamine Aït Ameur, Benoit Breholée, Patrick Girard, Laurent Guittet, Francis Jambon: Formal Verification and Validation of Interactive Systems Specifications. Human Error, Safety and Systems Development 2004: 61-76 | |
| 1 | Yamine Aït Ameur | [1] |
| 2 | Patrick Girard | [1] |
| 3 | Laurent Guittet | [1] |
| 4 | Francis Jambon | [1] |