Guiding the Correction of Parameterized Specifications

Jean-François Couchot 1 Frédéric Dadeau 2
1 PROVAL - Proof of Programs
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR
Type de document :
Communication dans un congrès
6th international conference on integrated Formal Methods (iFM'07), Jul 2007, Oxford, United Kingdom. 4591, 2007, LNCS
Liste complète des métadonnées

https://hal.inria.fr/inria-00329977
Contributeur : Frédéric Dadeau <>
Soumis le : lundi 13 octobre 2008 - 17:14:00
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14

Identifiants

  • HAL Id : inria-00329977, version 1

Collections

Citation

Jean-François Couchot, Frédéric Dadeau. Guiding the Correction of Parameterized Specifications. 6th international conference on integrated Formal Methods (iFM'07), Jul 2007, Oxford, United Kingdom. 4591, 2007, LNCS. 〈inria-00329977〉

Partager

Métriques

Consultations de la notice

177