Perfeziona i miei risultati
Document type
Institution
Collection spécifique
Lingua
- Inglese (1)
Autore
- Bruttomesso, Roberto (1)
- Rollini, Simone (1)
- Sharygina, Natasha (1)
- Tsitovich, Aliaksei (1)
Parola chiave
- Craig interpolation (1)
- Formal verification (1)
- Proof compression (1)
- Resolution system (1)