Generation of Verified Programs for In-Memory Computing

@inproceedings{pub12464,
    author = {

Fröhlich, Saman
 and 

Drechsler, Rolf
},
    title = {Generation of Verified Programs for In-Memory Computing},
    booktitle = {Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2022), August 31-September 2, Gran Canaria, Spain},
    year = {2022}
}