author = {Madalina Erascu and Tudor Jebelean},}
title = {{Automated Certification of a Logic-Based Verification Method for Imperative Loops}},
language = {english},
year = {2012},
month = {June 18 - 23},
note = {Contributed talk at CiE 2012 - How the World Computes},
conferencename = {CiE 2012 - How the World Computes}