Communication Dans Un Congrès
Année : 2006
Christophe Ringeissen : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00117390
Soumis le : vendredi 1 décembre 2006-14:29:13
Dernière modification le : jeudi 1 février 2024-10:03:59
Dates et versions
Identifiants
- HAL Id : inria-00117390 , version 1
Citer
Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran. Building and Combining Satisfiability Procedures for Software Verification. Third Taiwanese-French Conference on Information Technology (TFIT), Mar 2006, Nancy, France, pp.125--139. ⟨inria-00117390⟩
Collections
75
Consultations
0
Téléchargements