Auflistung nach Autor Kiefer, Stefan
Anzeige der Treffer 1 bis 1 von 1
| Erscheinungsdatum | Titel | Autor(en) |
|---|---|---|
| 2006 | Abstraction refinement with craig interpolation and symbolic pushdown systems | Esparza, Javier; Kiefer, Stefan; Schwoon, Stefan |