TU Darmstadt / ULB / TUbiblio

Browsen nach Person

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

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)

Johnsen, Einar Broch ; Hähnle, Reiner ; Schäfer, Jan ; Schlatte, Rudolf ; Steffen, Martin
Aichernig, Bernhard K. ; de Boer, Frank S. ; Bonsangue, Marcello M. (eds.) :

ABS: A Core Language for Abstract Behavioral Specification.
[Online-Edition: https://doi.org/10.1007/978-3-642-25271-6_8]
In: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. In: Lecture Notes in Computer Science , 6957 . Springer
[Konferenz- oder Workshop-Beitrag] , (2010)

Diese Liste wurde am Sat Nov 17 04:23:15 2018 CET generiert.