Soundness of a Logic-Based Verification Method for Imperative Loops.

Madalina Erascu, Tudor Jebelean

Browse the full SYNASC paper archive.