Andrea Franceschi

According to our database, Andrea Franceschi authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code.

Andrea Franceschi, Letterio Galletta, Pierpaolo Degano

Proceedings of the Software Engineering and Formal Methods - 23rd International Conference, 2025