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 |
Drucken
Impressum