Ergebnisse einschränken
Dokumententyp
Institution
Spezialsammlung
Sprache
- Englisch (2)
Autor
- Alberti, Francesco (2)
- Ghilardi, Silvio (2)
- Sharygina, Natasha (2)
- Bruttomesso, Roberto (1)
- Ranise, Silvio (1)
Schlagwort
- SMT (2)
- Array programs (1)
- Arrays (1)
- Decision procedures (1)
- Lazy abstraction (1)
- Model checking (1)
- Quantifiers (1)