Posted in Information Technology, Organizations AFADL stands for Approches Formelles dans l’Assistance au Développement de Logiciels