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

Event name
International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS)
 
Event type
Event for scientific audience
 
Start date
10-10-2012
End date
12-10-2012
 
Location
Beijing, China
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
1Kovacs, Laura Symbol Elimination in Program AnalysisPr√§sentation Presentation2012