%0 Conference Paper %1 conf/pdcat/SugawaraTSET22 %A Sugawara, Shunpei %A Takahashi, Keichi %A Shimomura, Yoichi %A Egawa, Ryusuke %A Takizawa, Hiroyuki %B PDCAT %D 2022 %E Takizawa, Hiroyuki %E Shen, Hong %E Hanawa, Toshihiro %E Park, Jong Hyuk %E Tian, Hui %E Egawa, Ryusuke %I Springer %K dblp %P 373-386 %T Equivalence Checking of Code Transformation by Numerical and Symbolic Approaches. %U http://dblp.uni-trier.de/db/conf/pdcat/pdcat2022.html#SugawaraTSET22 %V 13798 %@ 978-3-031-29927-8

@inproceedings{conf/pdcat/SugawaraTSET22, added-at = {2023-05-17T00:00:00.000+0200}, author = {Sugawara, Shunpei and Takahashi, Keichi and Shimomura, Yoichi and Egawa, Ryusuke and Takizawa, Hiroyuki}, biburl = {https://www.bibsonomy.org/bibtex/2be952cb49b713f46d0ad4b929ce62f74/dblp}, booktitle = {PDCAT}, crossref = {conf/pdcat/2022}, editor = {Takizawa, Hiroyuki and Shen, Hong and Hanawa, Toshihiro and Park, Jong Hyuk and Tian, Hui and Egawa, Ryusuke}, ee = {https://doi.org/10.1007/978-3-031-29927-8_29}, interhash = {58857efe89ed6c8f8761909aac229379}, intrahash = {be952cb49b713f46d0ad4b929ce62f74}, isbn = {978-3-031-29927-8}, keywords = {dblp}, pages = {373-386}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-07-22T07:20:55.000+0200}, title = {Equivalence Checking of Code Transformation by Numerical and Symbolic Approaches.}, url = {http://dblp.uni-trier.de/db/conf/pdcat/pdcat2022.html#SugawaraTSET22}, volume = 13798, year = 2022 }