L'équipe VASCO co-organisatrice de la conférence AFADL’12

L'équipe VASCO du LIG et le LCIS (Laboratoire de Conception et d'Intégration des Systèmes) organisent ensemble l'édition 2012 de l'atelier AFADL (Approches Formelles dans l’Assistance au Développement de Logiciels). La conférence se tient à l'UFR IM2AGde Grenoble du 11 au 13 janvier 2012. 

Plus de détails...