5th International Workshop on Automated and Verifiable Software System Development (ASYDE 2023)
Paper in proceeding, 2023
Author
Marco Autili
University of L'Aquila
Alessio Bucaioni
Mälardalens högskola
Gianluca Filippone
University of L'Aquila
Farnaz Fotrousi
University of Gothenburg
Rim Saddem
Aix Marseille University
Gian Luca Scoccia
Gran Sasso Science Institute (GSSI)
Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASEW 2023
9-10
9798350330328 (ISBN)
Echternach, Luxembourg,
Subject Categories
Software Engineering
Computer Science
DOI
10.1109/ASEW60602.2023.00034