| 1998 | ||
|---|---|---|
| 2 | Djenabou Diallo, Alain Vailly: Paraphrase d'une spécification formelle B, un premier essai. Networking and Information Systems 1(2-3): 309-338 (1998) | |
| 1997 | ||
| 1 | Djenabou Diallo, Alain Vailly: Paraphrasage d'une spécification formelle B, un premier essai. INFORSID 1997: 529-548 | |
| 1 | Alain Vailly | [1] [2] |