Ten years of Hoare’s logic: A survey - part 1 (1981)

by Krzysztof R Apt
Venue:ACM Trans. Program. Lang. Syst