Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher. Automatic verification of loop invariants. In 26th IEEE International Conference on Software Maintenance (ICSM 2010), September 12-18, 2010, Timisoara, Romania. pages 1-5, IEEE Computer Society, 2010. [doi]
Abstract is missing.