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:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item