TU Darmstadt / ULB / TUbiblio

Modular Reasoning with Join Point Interfaces

Inostroza, Milton and Tanter, Éric and Bodden, Eric (2011):
Modular Reasoning with Join Point Interfaces.
[Report]

Item Type: Report
Erschienen: 2011
Creators: Inostroza, Milton and Tanter, Éric and Bodden, Eric
Title: Modular Reasoning with Join Point Interfaces
Language: English
Divisions: Zentrale Einrichtungen
LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
20 Department of Computer Science > EC SPRIDE
20 Department of Computer Science > EC SPRIDE > Secure Software Engineering
LOEWE
20 Department of Computer Science
LOEWE > LOEWE-Zentren
Date Deposited: 20 Feb 2012 15:37
Identification Number: TUD-CS-2011-0272
Export:

Optionen (nur für Redakteure)

View Item View Item