Yu Tan, Dianfu Ma, Lei Qiao. A Formal Verification Method of Compilation Based on C Safety Subset. Wireless Communications and Mobile Computing, 2021, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.