Marie-Laure Potet, Pierre-Yves Schobbens, Hubert Toussaint, Germain Saval. Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'07, Jun 2007, Namur, Belgique. pp.287-288, 2007, Actes de la 8e conférence - AFADL Approches Formelles dans l'Assistance au
https://hal.inria.fr/inria-00186640
Contributeur : Pascal Fontaine
<>
Soumis le : samedi 10 novembre 2007 - 15:04:26
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52
Diego Caminha B. De Oliveira, David Déharbe, Pascal Fontaine. haRVey : satisfaisabilité et théories. Marie-Laure Potet, Pierre-Yves Schobbens, Hubert Toussaint, Germain Saval. Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'07, Jun 2007, Namur, Belgique. pp.287-288, 2007, Actes de la 8e conférence - AFADL Approches Formelles dans l'Assistance au. 〈inria-00186640〉
