7th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2025)
8 8 people viewed this event.
The 7th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2025) will be held in Seoul, South Korea.
Topics of interest include, but are not limited to: Computer Science, Software Engineering.
Deadline for sending contributions: Aug 26, 2025