%0 Journal Article
%T A Formal Verification Method of Compilation Based on C Safety Subset
%A Tan, Yu
%A Ma, Dianfu
%A Qiao, Lei
%J Wireless Communications and Mobile Computing
%V 2021
%@ 1530-8669
%D 2021-08-01
%I Hindawi
%~ DeepDyve