Farhad Arbab, Marco Autili, Federico Ciccozzi, Pascal Poizat, Massimo Tivoli. Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023. ACM SIGSOFT Software Engineering Notes, 49(1):24-26, January 2024. [doi]
@article{ArbabACPT24,
title = {Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023},
author = {Farhad Arbab and Marco Autili and Federico Ciccozzi and Pascal Poizat and Massimo Tivoli},
year = {2024},
month = {January},
doi = {10.1145/3635439.3635444},
url = {https://doi.org/10.1145/3635439.3635444},
researchr = {https://researchr.org/publication/ArbabACPT24},
cites = {0},
citedby = {0},
journal = {ACM SIGSOFT Software Engineering Notes},
volume = {49},
number = {1},
pages = {24-26},
}