Login / Signup

Rewriting semantics of production rule sets.

Michael KatelmanSean KellerJosé Meseguer
Published in: J. Log. Algebraic Methods Program. (2012)
Keyphrases