Affiner les résultats
Type de document
Institution
Collection spécifique
Langue
- Anglais (1)
Auteur
- Bruttomesso, Roberto (1)
- Rollini, Simone (1)
- Sharygina, Natasha (1)
- Tsitovich, Aliaksei (1)
Domaine
- Médecine, Technologie, Sciences de l'ingénieur, Informatique
Mot clé
- Craig interpolation (1)
- Formal verification (1)
- Proof compression (1)
- Resolution system (1)