Treffer: Design of Safe C Language for Program Verification
Title:
Design of Safe C Language for Program Verification
Authors:
Source:
IEEE Access Access, IEEE. 14:14168-14179 2026
Database:
IEEE Xplore Digital Library