Isenberg, T., Jakobs, M.-C., Pauck, F., &; Wehrheim, H. (2018). Validity of Software Verification Results on Approximate Hardware. IEEE Embedded Systems Letters, 22–25.https://doi.org/10.1109/LES.2017.2758200 
LibreCat: /record/1043
DOI: 10.1109/LES.2017.2758200