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