Invariants for finite instances and beyond

Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi. Invariants for finite instances and beyond. In Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013. pages 61-68, IEEE, 2013. [doi]

No reviews for this publication, yet.