ASYDE 2020: International Workshop on Automated and verifiable Software sYstem DEvelopment 2020

in Amsterdam, The Netherlands

Call for Papers

http://asyde2020.disim.univaq.it/