ERIL — Equational reasoning: an interactive laboratory

Author:

Publisher website

1 January 1985

book chapter
Published by Springer Nature in Lecture Notes in Computer Science

p. 400-401
DOI:10.1007/3-540-15984-3_295

Abstract

No abstract available

Keywords

Cited by 8 articles