Loïc Fejoz, Stephan Merz. Dérivation d'algorithmes sans verrou à partir d'une spécification atomique.
Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL07, Marie-Laure Potet (IMAG, Grenoble) ; Pierre-Yves Schobbens (Facultés Universitaires Notre-Dame de la Paix - Namur, Belgique), Jun 2007, Namur, Belgique. pp.213-226.
⟨inria-00162146⟩