Ten Years of Hoare's Logic: A Survey -- Part l (1981)

Cached

Download Links

by KRZYSZTOF R. APT
Citations:66 - 2 self