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
Type de document :
Communication dans un congrès
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
Liste complète des métadonnées
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

Identifiants

  • HAL Id : inria-00186640, version 1

Collections

INRIA | LORIA | UNIV-LORRAINE

Citation

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

230

Contact


archive-ouverte@inria.fr