TU Darmstadt / ULB / TUbiblio

The Clara framework for hybrid typestate analysis

Bodden, Eric and Hendren, Laurie (2011):
The Clara framework for hybrid typestate analysis.
In: International Journal on Software Tools for Technology Transfer (Springer), [Article]

Item Type: Article
Erschienen: 2011
Creators: Bodden, Eric and Hendren, Laurie
Title: The Clara framework for hybrid typestate analysis
Language: German
Journal or Publication Title: International Journal on Software Tools for Technology Transfer (Springer)
Uncontrolled Keywords: Secure Services
Divisions: LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
20 Department of Computer Science > Aspekt-Orientierte Programmierung
20 Department of Computer Science > Software Technology
LOEWE > LOEWE-Zentren
20 Department of Computer Science
LOEWE
Date Deposited: 30 Dec 2016 20:23
Identification Number: TUD-CS-2011-0020
Export:

Optionen (nur für Redakteure)

View Item View Item