Basile, Davide http://orcid.org/0000-0002-7196-6609
ter Beek, Maurice H. http://orcid.org/0000-0002-2930-6367
Ciancia, Vincenzo http://orcid.org/0000-0003-1314-0574
Chapter History
First Online: 17 October 2022
CRediT Author Statement
: <b>D. Basile:</b> Conceptualization, Software, Formal Analysis, Investigation, Writing - Original Draft, Writing - Review & Editing. <b>M.H. ter Beek:</b> Writing - Original Draft, Writing - Review & Editing, Supervision, Funding Acquisition, Project Administration. <b>V. Ciancia:</b> Conceptualization, Software, Formal Analysis, Investigation, Writing - Original Draft, Writing - Review & Editing.
Conference Information
Conference Acronym: ISoLA
Conference Name: International Symposium on Leveraging Applications of Formal Methods
Conference City: Rhodes
Conference Country: Greece
Conference Year: 2022
Conference Start Date: 22 October 2022
Conference End Date: 30 October 2022
Conference Number: 11
Conference ID: isola2022
Conference URL: http://www.isola-conference.org/