4th International Seminar on Program Verification, Automated Debugging and Symsbolic Computation (PAS’15)

Event Type: Seminar/Talk

Place: Beijing, China
Duration: 22 Oct 2015 - 09:30 - 23 Oct 2015 - 11:45

Organization Team:

  1. Sandra Alves [Program Committee Member]