TU Darmstadt / ULB / TUbiblio

The Clara framework for hybrid typestate analysis

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

Typ des Eintrags: Artikel
Erschienen: 2011
Autor(en): Bodden, Eric ; Hendren, Laurie
Titel: The Clara framework for hybrid typestate analysis
Sprache: Deutsch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: International Journal on Software Tools for Technology Transfer (Springer)
Freie Schlagworte: Secure Services
Fachbereich(e)/-gebiet(e): LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
20 Fachbereich Informatik > Aspekt-Orientierte Programmierung
20 Fachbereich Informatik > Softwaretechnik
LOEWE > LOEWE-Zentren
20 Fachbereich Informatik
LOEWE
Hinterlegungsdatum: 30 Dez 2016 20:23
ID-Nummer: TUD-CS-2011-0020
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen