Paolo Zuliani
Le pubblicazioni dell'autore sono raggiungibili sul catalogo IRIS tramite il seguente link
Quantum computing (quantum verification and quantum programming languages)
Formal verification for stochastic, biological, and cyber-physical systems by combining numerical, model checking and SMT techniques
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma