Факультет інформатики та обчислювальної техніки КПІ ім. Ігоря Сікорського
ФОРМАЛЬНІ МЕТОДИ ПРОГРАМНОЇ ІНЖЕНЕРІЇ