Reports

Annual Report, 2014

The Research Institute in Automated Program Analysis and Verification Annual Report provides an overview of the developments and achievements in 2014, our first year of operation. Download the Annual report 2014 (PDF)

Delicious Twitter Digg this StumbleUpon Facebook