Franciso DurĂ¡n

Rewriting Logic and Its Applications - Germany Springer 2012

978-3-642-34005-5


Computer Science
Rewriting Logic and Its Applications