1984
Proving program inclusion using Hoare's logic
Publication
Publication
Theoretical Computer Science , Volume 30 - Issue 1 p. 1- 48
Additional Metadata | |
---|---|
, , | |
elsevier | |
Theoretical Computer Science | |
Organisation | Specification and Analysis of Embedded Systems |
Bergstra, J., & Klop, J. W. (1984). Proving program inclusion using Hoare's logic. Theoretical Computer Science, 30(1), 1–48. |