TU Darmstadt / ULB / TUbiblio

Browsen nach Person

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

I Pun, Ka ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina ; Bodden, Eric ; Eichberg, Michael
Larsen, Kim G. ; Srba, Jiří (eds.) :

Don't let data Go astray - A Context-Sensitive Taint Analysis for Concurrent Programs in Go.
In: Nordic Workshop on Programming Theory (NWPT'16). Aalborg
[Konferenz- oder Workshop-Beitrag], (2016)

Bodden, Eric ; Pun, Ka I. ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina
Margaria, Tiziana ; Steffen, Bernhard (eds.) :

Information Flow Analysis for Go.
[Online-Edition: https://doi.org/10.1007/978-3-319-47166-2_30]
In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Springer International Publishing , pp. 431-445. ISBN 978-3-319-47166-2 ISSN 0302-9743
[Buchkapitel], (2016)

Diese Liste wurde am Tue Jul 17 03:29:41 2018 CEST generiert.