VerifyThis 2018

2018-04-14

Two VerCors teams participated in this year's VerifyThis program verification competition, held in Thessaloniki as part of ETAPS 2018.

Wytse Oortwijn and Mohsen Safari won the 2nd prize for the best student team.