Browsing by Subject Scala (Computer program language)
Showing results 1 to 4 of 4
| Issue Date | Title | Author(s) |
| 2024 | COTS : connected OpenAPI test synthesis for RESTful applications | Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Tuosto, Emilio |
| 2021 | On the monitorability of session types, in theory and practice | Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste |
| 2021 | On the monitorability of session types, in theory and practice (Artifact) | Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste |
| 2020 | Towards a hybrid verification methodology for communication protocols (short paper) | Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste |
