haRVey : satisfaisabilité et théories
Abstract
Présentation d'outil
Conference Papers
Year : 2007
Pascal Fontaine : Connect in order to contact the contributor
https://inria.hal.science/inria-00186640
Submitted on : Saturday, November 10, 2007-3:04:26 PM
Last modification on : Friday, March 24, 2023-2:52:49 PM
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