sur 21
Outils de mise en oeuvre industrielle des techniques formelles — Jean-Louis Boulanger