Login / Signup

Rule-Based Approaches for Equivalence Checking of SpecC Programs.

Subash ShankarMasahiro Fujita
Published in: MEMOCODE (2008)
Keyphrases