A Characterization of Hoare's Logic for Programs with Pascal-like Procedures

Ernst-Rdiger Olderog

Browse the full STOC paper archive.