Integrating SMT solvers in Rodin

Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2014, Abstract State Machines, Alloy, B, VDM, and Z — Selected and extended papers from ABZ 2012, 94, pp.14
Liste complète des métadonnées

https://hal.inria.fr/hal-01094999
Contributeur : Pascal Fontaine <>
Soumis le : dimanche 14 décembre 2014 - 19:20:25
Dernière modification le : jeudi 22 septembre 2016 - 14:32:06

Identifiants

  • HAL Id : hal-01094999, version 1

Collections

Citation

David Déharbe, Pascal Fontaine, Laurent Voisin, Yoann Guyot. Integrating SMT solvers in Rodin. Science of Computer Programming, Elsevier, 2014, Abstract State Machines, Alloy, B, VDM, and Z — Selected and extended papers from ABZ 2012, 94, pp.14. 〈hal-01094999〉

Partager

Métriques

Consultations de la notice

128