VSL 2014: VIENNA SUMMER OF LOGIC 2014
VERIFY Program Committee

The program committee of VERIFY 2014 is shown below.