Integrating SMT solvers in Rodin - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Science of Computer Programming Year : 2014
No file

Dates and versions

hal-01094999 , version 1 (14-12-2014)


  • HAL Id : hal-01094999 , version 1


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


Gmail Facebook X LinkedIn More