Suche
Facetten hinzufügen:
Wenden Sie Filter/Facetten an, um Ihre Suche zu verfeinern.
Treffer 1-1 von 1 (Suchzeit: 0.0 Sekunden).
- Zurück
- 1
- Weiter
Treffer Dokumente:
Erscheinungsdatum | Titel | Autor(en) |
---|---|---|
2006 | Abstraction refinement with craig interpolation and symbolic pushdown systems | Esparza, Javier; Kiefer, Stefan; Schwoon, Stefan |
Facetten
Dokumentart
Erscheinungsdatum
- 1 2006