Назад
Бектемесов А.Т.
Куатбаева А.
Применение model checking для комбинаторных задач
Докладчик:
Бектемесов А.Т.
К списку докладов