Login / Signup

Inference rules for proving the equivalence of recursive procedures.

Benny GodlinOfer Strichman
Published in: Acta Informatica (2008)
Keyphrases