Revue des Sciences et Technologies de l'Information Volume 26 N° 7, Août
Approches formelles pour le développement de logiciels