2nd place of student teams at VerifyThis 2024 for Pieter Bos and Alexander Stekelenburg (Twente)

19-Sep-2024

The student team “VerCors {P1*P2}”, formed by Alexander Stekelenburg and Pieter Bos, received the second place in the student team category at the 2024 edition of VerifyThis, which was held last April as a part of ETAPS 2024 in Luxembourg.

More info here.