Abstraction Barriers in Equational Proof (1998)

Cached

Download Links

by Jo Erskine Hannay
Venue:In Proc. of AMAST'98, volume 1548 of LNCS
Citations:1 - 1 self