CASED Publikation
Towards Typesafe Weaving for Modular Reasoning in Aspect-Oriented Programs
Eric Bodden
In: FOAL ’12: International Workshop on the Foundations of Aspect-Oriented Languages,
März 2012.
Forschung
Arbeitsbereiche
Sichere Daten
Sichere Dinge
Sichere Dienste
Forschungsgruppen & Projekte
Hier finden Sie eine wachsende Liste der CASED-assoziierten Forschungsgruppen und Projekte
Forschungsthemen der Clusterpartner im Gebiet IT-Sicherheit
Technische Universität Darmstadt
Fraunhofer SIT
Hochschule Darmstadt
Publikationen
Software und
Downloads





