| 1999 | ||
|---|---|---|
| 2 | Eric Conquet, Jean-Luc Marty: Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project. World Congress on Formal Methods 1999: 57-75 | |
| 1994 | ||
| 1 | Jean-Luc Marty, Thierry Desprats, François Barrère: Specification of Cooperative Application: A Structure of Cooperation Modelling. Applied Informatics 1994: 115-119 | |
| 1 | François Barrère | [1] |
| 2 | Eric Conquet | [2] |
| 3 | Thierry Desprats | [1] |