Login / Signup

A Method for Proving Observational Equivalence.

Véronique CortierStéphanie Delaune
Published in: CSF (2009)
Keyphrases