Journal Articles
Science of Computer Programming
Year : 2014
Pascal Fontaine : Connect in order to contact the contributor
https://inria.hal.science/hal-01094999
Submitted on : Sunday, December 14, 2014-7:20:25 PM
Last modification on : Monday, September 11, 2023-5:41:18 PM
Dates and versions
Identifiers
- HAL Id : hal-01094999 , version 1
Cite
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⟩
80
View
0
Download