1984
Hoare's logic for programming languages with two data types
Publication
Publication
Theoretical Computer Science , Volume 28 - Issue 1-2 p. 215- 221
Additional Metadata | |
---|---|
, , | |
elsevier | |
Theoretical Computer Science | |
Bergstra, J., & Tucker, J. (1984). Hoare's logic for programming languages with two data types. Theoretical Computer Science, 28(1-2), 215–221. |