8th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2009)
Event name
8th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2009)
Event type
Event for scientific audience
Start date
22-03-2009
Location
York, UK
Country
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Knoop, Jens | Timing Properties: Beyond Verifying Functional Program Properties | Präsentation Presentation | 2009 |