Новосибирский государственный университет студентка магистратуры механико-математического факультета.

VeHa - соревнования по формальной верификации программ участник соревнования VeHa-2025.

Новосибирск