2nd International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2013)

Event name
2nd International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2013)
 
Event type
Event for scientific audience
 
Start date
23-10-2013
End date
25-10-2013
 
Location
Peking
Country
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen



Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds using Symbolic ExecutionPr√§sentation Presentation2013