LOPATA, VICTOR
LOPATA, VICTOR
DIPARTIMENTO DI INFORMATICA
Mostra
prodotti
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Verification of Quantum Circuits Through Barrier Certificates Using a Scenario Approach | 2025 | Hu, Siwei; Lopata, Victor; Soudjani, Sadegh; Zuliani, Paolo |