%0 Conference Paper %1 conf/date/ShashidharBCJ05 %A Shashidhar, K. C. %A Bruynooghe, Maurice %A Catthoor, Francky %A Janssens, Gerda %B DATE %D 2005 %I IEEE Computer Society %K dblp %P 1310-1315 %T Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code. %U http://dblp.uni-trier.de/db/conf/date/date2005.html#ShashidharBCJ05 %@ 0-7695-2288-2

@inproceedings{conf/date/ShashidharBCJ05, added-at = {2023-03-24T00:00:00.000+0100}, author = {Shashidhar, K. C. and Bruynooghe, Maurice and Catthoor, Francky and Janssens, Gerda}, biburl = {https://www.bibsonomy.org/bibtex/24ae8a328e13586d32f8542f605afac7a/dblp}, booktitle = {DATE}, crossref = {conf/date/2005}, ee = {http://dl.acm.org/citation.cfm?id=1049316}, interhash = {7a71e863726fc1f13f6fec54bc57b75f}, intrahash = {4ae8a328e13586d32f8542f605afac7a}, isbn = {0-7695-2288-2}, keywords = {dblp}, pages = {1310-1315}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:52:06.000+0200}, title = {Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code.}, url = {http://dblp.uni-trier.de/db/conf/date/date2005.html#ShashidharBCJ05}, year = 2005 }