Home > Authors > Stefano Tonetta

Stefano Tonetta

All books by Stefano Tonetta

(Displaying 2 Books)

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

Jérémie Guiochet

Verified Software. Theories, Tools and Experiments

Verified Software. Theories, Tools and Experiments

Akash Lal

Looking for another book by Stefano Tonetta? Search for the book by title.