Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023
Arbab, Farhad ; Autili, Marco ; Ciccozzi, Federico ; Poizat, Pascal ; Tivoli, Massimo
Software engineering notes, 2023-12, Vol.49 (1), p.24-26New York, NY, USA: ACM
Texto completo disponível