2022-03-022022-03-022012https://publica.fraunhofer.de/handle/publica/154687AFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels