Карпов, Ю. (2014) “Темпоральные логики для спецификации свойств программных и аппаратных систем”, Computer Tools in Education, 0(2). Available at: http://cte.eltech.ru/ojs/index.php/kio/article/view/1174 (Accessed: 19December2024).