The 6th edition of the workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) provided a forum to share and discuss innovative contributions to research and practice related to novel software engineering approaches to automated and verifiable development of software systems.
6th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2024)
Marco Autili
;Alessio Bucaioni;Gianluca Filippone;Gian Luca Scoccia
2024-01-01
Abstract
The 6th edition of the workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) provided a forum to share and discuss innovative contributions to research and practice related to novel software engineering approaches to automated and verifiable development of software systems.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
