A Hoare-like Proof System for Run-time Analysis of Programs (1987)

by H R Nielson
Venue:Science of Computer Programming