Add VMCAI paper + Add SV-COMP papers and Javierfest as to appear + Add Michael Petter to contributors. #38

Closed michael-schwarz closed 8 months ago