Challenges in Quantum Programs Analysis. - Assolini, Nicola; Di Pierro, Alessandra; Mastroeni, Isabella (International Journal on Software Tools for Technology Transfer, 2026)