Dominique Cansell, Jacques Jaray, Dominique Mery. Utilisation de B pour l'aide à la spécification d'un système de diagnostic.
Approche Formelles dans l'Assistance au Développement de Logiciels - AFADl'2001, Jun 2001, Nancy, France, 15 p.
⟨inria-00100931⟩