5th International Workshop on Automated and Verifiable Software System Development (ASYDE 2023) - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Marco Autili, Alessio Bucaioni, Gianluca Filippone, Farnaz Fotrousi, Rim Saddem, Gian Luca Scoccia. 5th International Workshop on Automated and Verifiable Software System Development (ASYDE 2023). In 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023 - Workshops, Luxembourg, September 11-15, 2023. pages 9-10, IEEE, 2023. [doi]

The following publications are possibly variants of this publication:

Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023Farhad Arbab, Marco Autili, Federico Ciccozzi, Pascal Poizat, Massimo Tivoli. sigsoft, 49(1):24-26, January 2024. [doi]

runs on WebDSL