Fassina, Nicolò
Ranzato, Francesco
Zanella, Marco
Funding for this research was provided by:
PRIN 2022 PNRR (Project no. P2022HXNSC)
Meta Research (Probability and Programming Research Award)
Amazon Research Awards (AWS Automated Reasoning)
Università degli Studi di Padova
Article History
Received: 4 January 2024
Revised: 6 March 2024
Accepted: 21 March 2024
First Online: 26 April 2024
Declarations
:
: The authors declare no competing interests.