Third International Seminar on Program Verification, Automated Debugging and Symbolic Computation

July 17-18, 2014   ·   Vienna, Austria

Program


PAS 2014 program is available here (with link to photos of speakers here).