Paraphrasage d'une spécification formelle B, un premier essai. - Djenabou Diallo; Alain Vailly (INFORSID, 1997)

Paraphrase d'une spécification formelle B, un premier essai. - Djenabou Diallo; Alain Vailly (Netw. Inf. Syst. J., 1998)