Show last authors
1 GT LVP (Langages et Vérification de Programmes)
2
3 GT IDE (Ingénieurie Des Exigences)
4
5 [~[[[http:~~/~~/cedric.cnam.fr/lab/equipes/sys/>>url:http://cedric.cnam.fr/lab/equipes/sys/]]]]