TY  - RPRT
TI  - Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code
AU  - K. C. Shashidhar
AU  - Maurice Bruynooghe
AU  - Francky Catthoor
AU  - Gerda Janssens
PY  - 2007
UR  - https://arxiv.org/abs/0710.4689
ID  - 0710.4689
ER  -