An Extensible Module Algebra For Maude (1998)

Cached

Download Links

by Francisco Durán , José Meseguer
Citations:19 - 10 self