Isenberg, Tobias, Marie-Christine Jakobs, Felix Pauck, and Heike Wehrheim. “Validity of Software Verification Results on Approximate Hardware.”https://doi.org/10.1109/LES.2017.2758200__IEEE Embedded Systems Letters, 2018, 22–25.https://doi.org/10.1109/LES.2017.2758200 .