Stefano Tonetta

Identifiers

Open LibraryOL7953838A

Books by Stefano Tonetta

Total count: 4

Computer Safety, Reliability, and Security36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Springer2017-08-17
Verified Software. Theories, Tools and Experiments14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Springer International Publishing AG2023-01-01
Computer Safety, Reliability, and Security. SAFECOMP 2023 WorkshopsASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE , Toulouse, France, September 19, 2023, Proceedings

Springer2023-01-01
Computer Safety, Reliability, and Security42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings

Springer2023-01-01