ROVERI, MARCO

ROVERI, MARCO  

058968  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Citazione Data di pubblicazione Autori File
A Theorem Prover Based Approach for SAT-Based Model Checking Certification / Sindoni, Giulia; Pasini, Paolo; Cabodi, Gianpiero; Camurati, Paolo E.; Griggio, Alberto; Palena, Marco; Roveri, Marco; Tonetta, Stefano. - ELETTRONICO. - 15943:(2025), pp. 449-467. (Intervento presentato al convegno Automated Deduction - CADE 30 tenutosi a Stuttgart, Germany nel July 28 - August 2, 2025) [10.1007/978-3-031-99984-0_24]. 1-gen-2025 Pasini, PaoloCabodi, GianpieroCamurati, Paolo E.Palena, MarcoRoveri, Marco + -