2nd place of student teams at VerifyThis 2024


The student team "VerCors {P1*P2}" got the second place in the student team category at the 2024 edition of VerifyThis. Congratulations to Pieter Bos and Alexander Stekelenburg for this achievement!

Alexander Stekelenburg and Pieter Bos holding certificates reading Best Student Team - 2nd place - VerCors {P1*P2}