Towards a strategy language for Maude
- Martí-Oliet, N.
- Meseguer, J.
- Verdejo, A.
ISSN: 1571-0661
Year of publication: 2005
Volume: 117
Issue: SPEC. ISS.
Pages: 417-441
Type: Conference paper
ISSN: 1571-0661
Year of publication: 2005
Volume: 117
Issue: SPEC. ISS.
Pages: 417-441
Type: Conference paper