Article Dans Une Revue
Science of Computer Programming
Année : 2014
Pascal Fontaine : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01094999
Soumis le : dimanche 14 décembre 2014-19:20:25
Dernière modification le : lundi 11 septembre 2023-17:41:18
Dates et versions
Identifiants
- HAL Id : hal-01094999 , version 1
Citer
David Déharbe, Pascal Fontaine, Laurent Voisin, Yoann Guyot. Integrating SMT solvers in Rodin. Science of Computer Programming, 2014, Abstract State Machines, Alloy, B, VDM, and Z — Selected and extended papers from ABZ 2012, 94, pp.14. ⟨hal-01094999⟩
81
Consultations
0
Téléchargements