Automatic Construction of Verification Condition Generators From Hoare Logics.

Mark Moriconi, Richard L. Schwartz

Browse the full ICALP paper archive.