Alain VAILLY
Fiche de présentation du membre d'Inforsid

Ses 2 articles présentés dans le cadre du congrès :

• Paraphrasage d'une spécification formelle B, un premier essai. 529-548 (1997)
  Djenabou DIALLO • Alain VAILLY
  
  
• Diachronie et synchronie en spécification, une illustration en Z (1995)
  Pascal BERNARD • Henri HABRIAS • Alain VAILLY
  
  

• Participations au comité de programme

  Aucune participation à un comité de programme.
  

• Localisation au cours des années

  1997	Nantes	France
  1995	Nantes	France

• Ses 3 coauteurs :

  Djenabou DIALLO	1997
  Pascal BERNARD	1995
  Henri HABRIAS	1983, 1984, 1985, 1987, 1994, 1995, 1996, 2004

Page générée le vendredi 21 novembre 2025, 10:11:23.

Guillaume Cabanac, Cécile Favre, Aleksandra Kruchinina 2021, Ophélie Fraisier 2015, Clara Belair 2011-2017, Marc Ternisien 2011