haRVey : satisfaisabilité et théories - Archive ouverte HAL Access content directly
Conference Papers Year : 2007

haRVey : satisfaisabilité et théories

, , (1)
1
Diego Caminha B. de Oliveira
  • Function : Author
David Déharbe
  • Function : Author

Abstract

Présentation d'outil
Not file

Dates and versions

inria-00186640 , version 1 (10-11-2007)

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⟩
95 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More