%0 Conference Paper %1 conf/hldvt/ShashidharBCJ03 %A Shashidhar, K. C. %A Bruynooghe, Maurice %A Catthoor, Francky %A Janssens, Gerda %B HLDVT %D 2003 %I IEEE Computer Society %K dblp %P 31-36 %T Automatic functional verification of memory oriented global source code transformations. %U http://dblp.uni-trier.de/db/conf/hldvt/hldvt2003.html#ShashidharBCJ03 %@ 0-7803-8236-6

@inproceedings{conf/hldvt/ShashidharBCJ03, added-at = {2023-03-23T00:00:00.000+0100}, author = {Shashidhar, K. C. and Bruynooghe, Maurice and Catthoor, Francky and Janssens, Gerda}, biburl = {https://www.bibsonomy.org/bibtex/23e40e970690278f786180d6d9b314b0a/dblp}, booktitle = {HLDVT}, crossref = {conf/hldvt/2003}, ee = {https://doi.ieeecomputersociety.org/10.1109/HLDVT.2003.1252471}, interhash = {ec65c20455aa632fb20317b61dc638a8}, intrahash = {3e40e970690278f786180d6d9b314b0a}, isbn = {0-7803-8236-6}, keywords = {dblp}, pages = {31-36}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:43:48.000+0200}, title = {Automatic functional verification of memory oriented global source code transformations.}, url = {http://dblp.uni-trier.de/db/conf/hldvt/hldvt2003.html#ShashidharBCJ03}, year = 2003 }