![]() | ![]() |
1999 | ||
---|---|---|
2 | EE | 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] |