Authors | J. E. Hannay |
Title | Abstraction Barriers in Equational Proof |
Status | Published |
Publication Type | Proceedings, refereed |
Year of Publication | 1998 |
Conference Name | Algebraic Methodology and Software Technology, Proceedings of AMAST'98, Ariaú, Amazonas, Brasil, LNCS volume 1548 |
Pagination | 196-213 |
Publisher | Springer-Verlag |
Citation Key | SE.5.Hannay.1998 |