Bodden, Eric ; 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 ; 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 |
Options (only for editors)
![]() |
Show editorial Details |