Verified Signal Processing Algorithms in Matlab and C : Advised by Israel Greiss - Dickman, Arie. (Springer International Publishing AG, 2022)