Communication Dans Un Congrès
Année : 2006
Christophe Ringeissen : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00117277
Soumis le : jeudi 30 novembre 2006-17:13:49
Dernière modification le : jeudi 1 février 2024-10:03:47
Citer
David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen. Decision Procedures for the Formal Analysis of Software. 3rd International Colloquium on Theoretical Aspects of Computing, ICTAC, Nov 2006, Tunis, Tunisia, pp.366--370, ⟨10.1007/11921240_26⟩. ⟨inria-00117277⟩
Collections
76
Consultations
0
Téléchargements