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