haRVey : satisfaisabilité et théories
Abstract
Présentation d'outil
Conference Papers
Year : 2007
Pascal Fontaine : Connect in order to contact the contributor
https://hal.inria.fr/inria-00186640
Submitted on : Saturday, November 10, 2007-3:04:26 PM
Last modification on : Friday, February 4, 2022-3:34:53 AM
Dates and versions
Identifiers
- HAL Id : inria-00186640 , version 1
Cite
Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine. haRVey : satisfaisabilité et théories. Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'07, Jun 2007, Namur, Belgique. pp.287-288. ⟨inria-00186640⟩
Collections
95
View
0
Download