- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 1 |      | Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry: Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. MoDELS 2009: 438-452 |
| 1 | Benoit Baudry | [1] |
| 2 | Philippe Dhaussy | [1] |
| 3 | Pierre Yves Pillain | [1] |
| 4 | Amine Raji | [1] |
| 5 | Yves Le Traon | [1] |