Publication:2703709
From MaRDI portal
zbMath0962.68109MaRDI QIDQ2703709
José Meseguer, Peter Csaba Ölveczky
Publication date: 7 May 2001
68Q60: Specification and verification (program logics, model checking, etc.)
68Q42: Grammars and rewriting systems
Related Items
Semantics and pragmatics of real-time maude, Maude: specification and programming in rewriting logic, Specification of real-time and hybrid systems in rewriting logic, Rewriting logic: Roadmap and bibliography
Uses Software