| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2015 |
| Sprache | Englisch |
| Identifikator | ISSN: 1613-0073 KITopen-ID: 1000051480 |
| HGF-Programm | 46.12.03 (POF III, LK 01) Data Security |
| Erschienen in | Software Engineering Workshops 2015 - Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, 17.-18. März 2015. Beiträge zur 8. Arbeitstagung Programmiersprachen (ATPS 2015). Hrsg.: W. Zimmermann |
| Verlag | RWTH Aachen |
| Seiten | 140-145 |
| Serie | Ceur Workshop Proceedings ; 1337 |
| Projektinformation | KASTEL I (BMFTR, 01BY1172 / 16BY1172) |
| Externe Relationen | Abstract/Volltext |
| Nachgewiesen in | Scopus |