Stefano TonettaBooksComputer Safety, Reliability, and Security. SAFECOMP 2023 WorkshopsVerified Software. Theories, Tools and ExperimentsAuthor data: Open Library