Ссылка для цитирования по ГОСТ

Черемисинов Д. И. Использование языка ПРАЛУ для верификации цифровых устройств // Информатика. 2018 Т.15, №4. С.86-98.
Государственное учреждение "Белорусская сельскохозяйственная библиотека
им. И.С. Лупиновича" Национальной академии наук Беларуси (БелСХБ)
г.Минск, ул.Казинца,86, корп.2
+375 17 379 84 56
muravitskaya@belal.by
© 2024 - 2025