Tech Report Number
80-338
Date of this Version
4-9-1980
Recommended Citation
O'Donnell, Michael, "A Critique of the Foundations of Hoare-Style Programming Logics" (1980). Department of Computer Science Technical Reports. Paper 267.
https://docs.lib.purdue.edu/cstech/267
Number of Pages
32