ROVERI, MARCO

ROVERI, MARCO  

058968  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.005 secondi).
Citazione Data di pubblicazione Autori File
A Theorem Prover Based Approach for SAT-Based Model Checking Certification / Sindoni, G., Pasini, P., Cabodi, G., Camurati, P.E., Griggio, A., Palena, M., Roveri, M., Tonetta, S.. - ELETTRONICO. - 15943:(2025), pp. 449-467. (Automated Deduction - CADE 30 Stuttgart (Ger) July 28 - August 2, 2025) [10.1007/978-3-031-99984-0_24]. 1-gen-2025 Pasini, PaoloCabodi, GianpieroCamurati, Paolo E.Palena, MarcoRoveri, Marco + -