A Formal Verification Method of Compilation Based on C Safety Subset
- Type
- Retraction
- Notice date
- 11/29/2023 0:00
- Journal
- Wireless Communications and Mobile Computing
- Publisher
- Hindawi
- Notice DOI
- 10.1155/2023/9809531
- Original paper DOI
- 10.1155/2021/8352267
Reasons
- Compromised Peer Review
- Investigation by Journal/Publisher
- Investigation by Third Party
- Paper Mill
- Unreliable Results and/or Conclusions