TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 1.

Abdulla, Parosh Aziz ; Atto, Muhsin ; Cederberg, Jonathan ; Ji, Ran
Liu, Zhiming ; Ravn, Anders (eds.) :

Automated Analysis of Data-Dependent Programs with Dynamic Memory.
In: LNCS , 5799 . Springer
[ Konferenzveröffentlichung] , (2009)

Diese Liste wurde am Tue Mar 26 03:43:06 2019 CET generiert.