Бектемесов А.Т.   Куатбаева А.  

Применение model checking для комбинаторных задач

Докладчик: Бектемесов А.Т.