5th International Workshop on Automated and Verifiable Software System Development (ASYDE 2023). - Marco Autili; Alessio Bucaioni; Gianluca Filippone; Farnaz Fotrousi; Rim Saddem; Gian Luca Scoccia (ASEW, 2023)