DMCA

Membership Algebra as a Logical Framework for Equational Specification (1998)

Cached

Download Links

by José Meseguer
Citations:175 - 60 self