TY  - RPRT
TI  - Formal and Fuzzing Amplification: Targeting Vulnerability Detection in 5G and Beyond
AU  - Jingda Yang
AU  - Ying Wang
PY  - 2023
UR  - https://arxiv.org/abs/2307.05758
ID  - 2307.05758
ER  -