Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions.

Hans Langmaack, Ernst-Rdiger Olderog

Browse the full ICALP paper archive.