1981
Ten years of Hoare s logic, a survey, part I
Publication
Publication
ACM Transactions on Programming Languages and Systems , Volume 3 - Issue 4 p. 431- 483
Additional Metadata | |
---|---|
A.C.M. | |
ACM Transactions on Programming Languages and Systems | |
Apt, K. (1981). Ten years of Hoare s logic, a survey, part I. ACM Transactions on Programming Languages and Systems, 3(4), 431–483. |