TY  - RPRT
TI  - Formalization of Transform Methods in Higher-order Logic: A Survey
AU  - Muhammad Ahmed
AU  - Adnan Rashid
PY  - 2021
UR  - https://arxiv.org/abs/2111.10049
ID  - 2111.10049
ER  -