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.