Bodden, Eric ; Hendren, Laurie (2011)
The Clara framework for hybrid typestate analysis.
In: International Journal on Software Tools for Technology Transfer (Springer)
Article, Bibliographie
Item Type: | Article |
---|---|
Erschienen: | 2011 |
Creators: | Bodden, Eric ; Hendren, Laurie |
Type of entry: | Bibliographie |
Title: | The Clara framework for hybrid typestate analysis |
Language: | German |
Date: | 2011 |
Journal or Publication Title: | International Journal on Software Tools for Technology Transfer (Springer) |
Uncontrolled Keywords: | Secure Services |
Identification Number: | TUD-CS-2011-0020 |
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 |
Last Modified: | 17 May 2018 13:02 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
Send an inquiry |
Options (only for editors)
Show editorial Details |