Organizers
Tudor Jebelean
(RISC, Johannes Kepler University, Austria)
Wei Li
(SKLSDE, Beihang University, China)
Dongming Wang
(SKLSDE, Beihang University, China and CNRS, France)
Third International Seminar on Program Verification,
Automated Debugging and Symbolic Computation
July 17-18, 2014 · Vienna, Austria
July 17-18, 2014 · Vienna, Austria