Login / Signup

A New Abstract Domain for the Representation of Mathematically Equivalent Expressions.

Arnault IoualalenMatthieu Martel
Published in: SAS (2012)
Keyphrases