Автор: Stefano Tonetta

This book constitutes the refereed proceedings of the 36th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revis …

This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2017, the 36th International Conference on Computer Safety, Reliability, and Security, held in Trento, Italy, …

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17-18, 2022 …

This book constitutes the refereed proceedings of the 42nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2023, which took place in Toulouse, France, in September 202 …

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2023, held in Toulouse, France, during September 19, 2023.The 35 full papers included in this volume were care …