Abstraction Barriers in Equational Proof
- Authors
- J. E. Hannay
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 1998
- Journal
- Algebraic Methodology and Software Technology, Proceedings of AMAST'98, Ariaú, Amazonas, Brasil, LNCS volume 1548
- Publisher
- Springer-Verlag
- Citation key
- 9448