Communication Dans Un Congrès
Année : 2014
Jean-Pierre Talpin : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01094998
Soumis le : dimanche 14 décembre 2014-19:19:52
Dernière modification le : mardi 27 août 2024-12:45:29
Dates et versions
Identifiants
- HAL Id : hal-01094998 , version 1
Citer
Imré Frotier de La Messelière, Pierre Jouvelot, Jean-Pierre Talpin. A constraint-solving approach to Faust program type checking. Constraint Programming meets Verification, The 20th International Conference on Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. ⟨hal-01094998⟩
Collections
276
Consultations
0
Téléchargements