Alain Vailly

Publication Activity (10 Years)

Years Active: 1995-1998
Publications (10 Years): 0

Publications

Djenabou Diallo, Alain Vailly
Paraphrase d'une spécification formelle B, un premier essai. Netw. Inf. Syst. J. 1 (2-3) (1998)
Djenabou Diallo, Alain Vailly
Paraphrasage d'une spécification formelle B, un premier essai. INFORSID (1997)
Henri Habrias, Pascal Bernard, Alain Vailly
Diachronie et synchronie en spécification, une illustration en Z. INFORSID (1995)