Semantical considerations on Floyd-Hoare Logic (1976)

Cached

Download Links

by Vaughan R. Pratt
Citations:210 - 10 self