Treffer: SBD: Securing safe rust automatically from unsafe rust
Title:
SBD: Securing safe rust automatically from unsafe rust
Authors:
Source:
In Science of Computer Programming July 2025 243
Database:
ScienceDirect