Stefano Tonetta
2 known books
newest first
No author bio imported yet.
Books
OpenLibrary works by this author.
Computer Safety, Reliability, and...
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops
Year unknown
Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, and Friedemann Bitsch
Verified Software. Theories, Tool...
Verified Software. Theories, Tools and Experiments
Year unknown
Akash Lal and Stefano Tonetta
Fetched from OpenLibrary. Some translations may appear as separate works.