Retraction
A Formal Verification Method of Compilation Based on C Safety Subset
Paper Information
Record ID:
59687
Journal:
Publication Date:
August 01, 2021
Retraction Date:
November 29, 2023
(2.0 year years ago)
Subjects:
Institutions:
Country:
🇨🇳 ChinaArticle Type:
Publisher:
Hindawi
Open Access:
Yes
DOI:
PubMed ID:
Not indexed in PubMed
Retraction PubMed ID:
Not indexed in PubMed
Retraction Details
Citations (3)
3
Total Citations1
Post-Retraction(33.3%)
0
Pre-Retraction1
Same DayPost-Retraction Citation Analysis
0
Within 30 days
1
Within 1 year
0
After 2+ years
154
Days since retraction (latest)
Heavy Metals Removal Using Carbon Based Nanocomposites
Unknown Authors
Unknown Journal
Published: Unknown
ЖИТТЄВИЙ ЦИКЛ РОЗРОБЛЕННЯ КІБЕРФІЗИЧНИХ СИСТЕМ
Yuriy Manzhos, Yevheniia Sokolova
Вісник Херсонського національного технічного університету
Open Access
Published: May 2024
154 days after retraction
Retracted: A Formal Verification Method of Compilation Based on C Safety Subset
Wireless Communications and Mobile Computing
Wireless Communications and Mobile Computing
Open Access
Published: Nov 2023
Same day as retraction
Quick Stats
Total Citations:
3
Years Since Retraction:
2.0 year
Open Access:
Yes
Last Checked:
Jul 24, 2025