- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |