VERMONT - средство верификации программно-конфигурируемых сетей = VERMONT - a toolset for verification of software defined networks // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems: научное издание. – 2015. – № 1 (212)