1984
Ten years of Hoare s logic, a survey, part II: n ondeterminism
Publication
Publication
Theoretical Computer Science , Volume 28 p. 83- 109
Additional Metadata | |
---|---|
elsevier | |
Theoretical Computer Science | |
Apt, K. (1984). Ten years of Hoare s logic, a survey, part II: n ondeterminism. Theoretical Computer Science, 28, 83–109. |
See Also |
---|