Maude: specification and programming in rewriting logic - Concepedia

Concepedia

Publication | Closed Access

Maude: specification and programming in rewriting logic

737

Citations

28

References

2002

Year

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martı́-Oliet, José Meseguer, José F. Quesada

Theoretical Computer Science

EngineeringAutomated ReasoningRegulated RewritingRewriting SystemFormal MethodsComputer ScienceFormal VerificationLogic Programming

References

	Year	Citations

Page 1