Stefano Tonetta

Stefano Tonetta

Books

Co-authored books and collections

Books that list Stefano Tonetta among their authors but not as the lead author: co-written works, collections and compilations.

Computer Safety, Reliability, and Security. SAFECOMP 2023 WorkshopsJérémie Guiochet

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

Jérémie Guiochet · 2023

Verified Software. Theories, Tools and ExperimentsAkash Lal

Verified Software. Theories, Tools and Experiments

Akash Lal · 2023