Logical and Mathematical Reasoning about Imperative Programs.

Daniel Leivant

Browse the full POPL paper archive.