Rafael Marcano Kamenoff, Eric Meyer, Nicole Levy, Jeanine Souquières. Utilisation de patterns dans la construction de specifications en UML et B.
Approches Formelles dans l'Assistance au Developpement de Logiciels - AFADl'2000, Jan 2000, Grenoble, France, 15 p.
⟨inria-00099102⟩