PAS 2014
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
).
Seminar
About
Call for Papers
Important Dates
Invited Speakers
Accepted Papers
Program
Organizers
Participation
Submission
Registration
Accommodation
Seminar Venue
Link
PAS 2013
PAS 2012