Pubblicazioni

Automated Verification of Silq Quantum Programs using SMT Solvers

2024 - Proceedings of QSW 2024: 3rd IEEE International Conference on Quantum Software
Lewis, Marco; Zuliani, Paolo; Soudjani, Sadegh

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma