TY  - GEN
AU  - Arie Dickman
TI  - Verified signal processing algorithms in MATLAB and C
SN  - 9783030933654
PY  - 2022///
PB  - Springer
ER  -