A Purely Logical Approach to the Termination of Imperative Loops.

Madalina Erascu, Tudor Jebelean

Browse the full SYNASC paper archive.