Bodden, Eric ; Follner, Andreas ; Rasthofer, Siegfried (2012)
Challenges in defining a programming language for provably correct dynamic analyses.
5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012).
Konferenzveröffentlichung, Bibliographie
Dies ist die neueste Version dieses Eintrags.
| Typ des Eintrags: | Konferenzveröffentlichung | ||||
|---|---|---|---|---|---|
| Erschienen: | 2012 | ||||
| Autor(en): | Bodden, Eric ; Follner, Andreas ; Rasthofer, Siegfried | ||||
| Art des Eintrags: | Bibliographie | ||||
| Titel: | Challenges in defining a programming language for provably correct dynamic analyses | ||||
| Sprache: | Englisch | ||||
| Publikationsjahr: | Oktober 2012 | ||||
| Verlag: | Springer | ||||
| Veranstaltungstitel: | 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012) | ||||
| Schlagworte: |
|
||||
| Fachbereich(e)/-gebiet(e): | LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt 20 Fachbereich Informatik > EC SPRIDE 20 Fachbereich Informatik > EC SPRIDE > Secure Software Engineering Zentrale Einrichtungen LOEWE 20 Fachbereich Informatik LOEWE > LOEWE-Zentren |
||||
| Hinterlegungsdatum: | 13 Jul 2012 07:39 | ||||
| Letzte Änderung: | 05 Mär 2013 10:01 | ||||
| PPN: | |||||
| Schlagworte: |
|
||||
| Export: | |||||
| Suche nach Titel in: | TUfind oder in Google | ||||
Verfügbare Versionen dieses Eintrags
- Challenges in defining a programming language for provably correct dynamic analyses. (deposited 13 Jul 2012 07:39) [Gegenwärtig angezeigt]
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum