VerCors present at this year's VerifyThis competition
2022-03-11
The VerCors team will bring 3 teams to compete at this year's edition of the VerifyThis competition taking part in the opening weekend (2nd and 3rd of April) of the ETAPS conferences in Munich.