with : Ashley Caselli
1 event
9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2020) — 26/10/2020–30/10/2020 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2020) — 26/10/2020–30/10/2020