Retracted: A Formal Verification Method of Compilation Based on C Safety Subset

Wireless Communications And Mobile Computing

Open Access

https://doi.org/10.1155/2023/9809531

Copy DOI

Journal: Wireless Communications and Mobile Computing	Publication Date: Nov 29, 2023
License type: CC BY 4.0

Abstract

Retracted: A Formal Verification Method of Compilation Based on C Safety Subset

Full Text

Published version (

Free)

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Paper Title

Journal

Date

Author