Years of Hoare's Logic: A Survey--- Part 1. A.C.M. Transactions on Programming Languages and Systems (1981)

by ffl Apt, K R Ten
Venue:Department of Computer Science