haRVey : satisfaisabilité et théories

Diego Caminha B. de Oliveira David Déharbe Pascal Fontaine 1
1 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Présentation d'outil
Document type :
Conference papers
Complete list of metadatas
https://hal.inria.fr/inria-00186640
Contributor : Pascal Fontaine <>
Submitted on : Saturday, November 10, 2007 - 3:04:26 PM
Last modification on : Thursday, January 11, 2018 - 6:19:52 AM

Identifiers

  • HAL Id : inria-00186640, version 1

Collections

INRIA | CNRS | LORIA | UNIV-LORRAINE

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

252

Contact


archive-ouverte@inria.fr