Redondi, Gianluca
Redondi, Gianluca
Ingegneria e scienza dell'Informaz (29/10/12-)
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.007 secondi).
Titolo | Anno di pubblicazione | Autori Unitn | File |
---|---|---|---|
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning | 1-gen-2021 | Cimatti A.Griggio A.Redondi G. | |
Verification of SMT Systems with Quantifiers | 1-gen-2022 | Cimatti A.Griggio A.Redondi G. |