Automatic Construction of Verification Condition Generators from Hoare Logics (0)

by M Moriconi, R L Schwartz
Venue:in Automata, Languages and Programming, Eighth Colloquium