Формальные методы в программной инженерии

Список студентов:

Кафедра программирования

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