Login / Signup

Equational Abstractions in Rewriting Logic and Maude.

Narciso Martí-OlietFrancisco DuránAlberto Verdejo
Published in: SBMF (2014)
Keyphrases