Lattice Based Modularization of Static Analyses

Typ des Eintrags:	Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen:	2018
Autor(en):	Eichberg, Michael ; Kübler, Florian ; Helm, Dominik ; Reif, Michael ; Salvaneschi, Guido ; Mezini, Mira
Titel:	Lattice Based Modularization of Static Analyses
Sprache:	Deutsch
Buchtitel:	Companion Proceedings for the ISSTA/ECOOP 2018 Workshops
Reihe:	ACM
Freie Schlagworte:	Engineering; E1
Fachbereich(e)/-gebiet(e):	20 Fachbereich Informatik 20 Fachbereich Informatik > Softwaretechnik DFG-Sonderforschungsbereiche (inkl. Transregio) DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche Profilbereiche Profilbereiche > Cybersicherheit (CYSEC) LOEWE LOEWE > LOEWE-Zentren LOEWE > LOEWE-Zentren > CRISP - Center for Research in Security and Privacy DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1119: CROSSING – Kryptographiebasierte Sicherheitslösungen als Grundlage für Vertrauen in heutigen und zukünftigen IT-Systemen
Veranstaltungstitel:	Companion Proceedings for the ISSTA/ECOOP 2018 Workshops
Hinterlegungsdatum:	20 Dez 2018 16:34
Export:

Eintrag anzeigen