Semantical Considerations on Floyd-Hoare Logic (1976)

by V R Pratt
Venue:In Proc. 17th IEEE Symp. Found. Comp. Sci