Constructing Specification Morphisms (1993)

Cached

Download Links

by Douglas R. Smith
Venue:Journal of Symbolic Computation
Citations:41 - 7 self