Jean-François Couchot, Alain Giorgetti, Nicolas Stouls. Graph Based Reduction of Program Verification Conditions.
Automated Formal Methods (AFM'09), colocated with CAV'09, Hassen Saïdi and N. Shankar, Jun 2009, Grenoble, France. pp.40--47.
⟨inria-00402204⟩