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

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]
Website:
http://pas2015.cc4cm.org/