Email Alert  RSS
A static analysis method for floating-point defects in aerospace software
MA Dongyu, WANG Zihao, CHEN Geng, SONG Ziwei
Aerospace Control . 2025, (6): 60 -66 .