Proof rules for the programming language Euclid
R. L. London, J. V. Guttag, J. J. Horning, B. W. Lampson, J. G. Mitchell, G. J. PopekVolume:
10
Language:
english
Pages:
26
DOI:
10.1007/bf00260921
Date:
August, 1978
File:
PDF, 1.14 MB
english, 1978