The university library will be closed from December 20, 2025 to January 11, 2026. From January 12, 2026, regular opening hours will apply again. Exception: The main medical library and the central library will be open again from January 5, 2026. Further information

Result: SBD: Securing safe rust automatically from unsafe rust

Title:
SBD: Securing safe rust automatically from unsafe rust
Authors:
Li, Shaowen ⁎, Sato, Hiroyuiki
Source:
In Science of Computer Programming July 2025 243
Database:
ScienceDirect