Maude's Module Algebra (2000)

Cached

Download Links

by Francisco Durán , José Meseguer
Citations:7 - 4 self