Categories |
SOFTWARE ENGINEERING
FORMAL METHODS
MACHINE LEARNING
|
About |
ASYDE 2020 is the 2nd International Workshop on Automated and verifiable Software sYstem DEvelopment, co-located with the 18th International Conference on Software Engineering and Formal Methods (SEFM 2020). |
Call for Papers |
TOPICS* Specification, architecture, and design of software and verification models |
Credits and Sources |
[1] ASYDE 2020 : Automated and verifiable Software sYstem DEvelopment |