TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 3.

I Pun, Ka and Steffen, Martin and Stolz, Volker and Wickert, Anna-Katharina and Bodden, Eric and Eichberg, Michael
Larsen, Kim G. and Srba, Jiří (eds.) (2016):
Don't let data Go astray - A Context-Sensitive Taint Analysis for Concurrent Programs in Go.
Aalborg, In: Nordic Workshop on Programming Theory (NWPT'16), [Conference or Workshop Item]

Bodden, Eric and Pun, Ka I. and Steffen, Martin and Stolz, Volker and Wickert, Anna-Katharina
Margaria, Tiziana and Steffen, Bernhard (eds.) (2016):
Information Flow Analysis for Go.
In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, Springer International Publishing, pp. 431-445, DOI: 10.1007/978-3-319-47166-2_30,
[Online-Edition: https://doi.org/10.1007/978-3-319-47166-2_30],
[Book Section]

Johnsen, Einar Broch and Hähnle, Reiner and Schäfer, Jan and Schlatte, Rudolf and Steffen, Martin
Aichernig, Bernhard K. and de Boer, Frank S. and Bonsangue, Marcello M. (eds.) (2010):
ABS: A Core Language for Abstract Behavioral Specification.
Springer, 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, DOI: 10.1007/978-3-642-25271-6₈,
[Online-Edition: https://doi.org/10.1007/978-3-642-25271-6_8],
[Conference or Workshop Item]

This list was generated on Tue Jul 16 01:04:09 2019 CEST.