Concepedia

Publication | Closed Access

Proof rules for the programming language Euclid

DOI

116

Citations

11

References

1978

Year

Raiph L. London, John V. Guttag, J. J. Horning, Butler Lampson, Jim Mitchell, Gerald J. Popek
Acta Informatica

References

YearCitations

Page 1