%0 Conference Paper %1 conf/dsd/FrohlichD22 %A Fröhlich, Saman %A Drechsler, Rolf %B DSD %D 2022 %I IEEE %K dblp %P 815-820 %T Generation of Verified Programs for In-Memory Computing. %U http://dblp.uni-trier.de/db/conf/dsd/dsd2022.html#FrohlichD22 %@ 978-1-6654-7404-7

@inproceedings{conf/dsd/FrohlichD22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Fröhlich, Saman and Drechsler, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/20a856c67b95d2f2570c404612f5c86d4/dblp}, booktitle = {DSD}, crossref = {conf/dsd/2022}, ee = {https://doi.org/10.1109/DSD57027.2022.00114}, interhash = {d47f3e57ce2b5c7b628b8a8d68ac93fe}, intrahash = {0a856c67b95d2f2570c404612f5c86d4}, isbn = {978-1-6654-7404-7}, keywords = {dblp}, pages = {815-820}, publisher = {IEEE}, timestamp = {2024-04-09T12:44:13.000+0200}, title = {Generation of Verified Programs for In-Memory Computing.}, url = {http://dblp.uni-trier.de/db/conf/dsd/dsd2022.html#FrohlichD22}, year = 2022 }