Affiner les résultats
Institution
Collection spécifique
Langue
- Anglais (1)
Auteur
- Rollini, Simone Fulvio (1)
- Sharygina, Natasha (Dir.) (1)
Domaine
Mot clé
- Craig interpolation (1)
- Formal verification (1)
- Model checking (1)
- Proof theory (1)
- Proof transformation (1)
- Satisfiability (1)