Л52
Летичевський О. О. Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів : автореф. дис. ... канд. фіз.-мат. наук : 01.05.03 "Математичне та програмне забезпечення обчислювальних машин і систем" / Летичевський Олександр Олександрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. – Київ, 2005. – 14 с.