Semantical considerations on Floyd-Hoare Logic (1976)

Cached

Download Links

by Vaughan R. Pratt
Citations:212 - 10 self