Maude as a Formal Meta-Tool (1999)

Cached

Download Links

by M. Clavel , F. Durán , S. Eker , J. Meseguer , M.-O. Stehr
Venue:FM’99 — Formal Methods, World Congress on Formal Methods in the Development of Computing Systems
Citations:34 - 13 self