Для цитирования:
Черемисинов Д.И. Использование языка ПРАЛУ для верификации цифровых устройств. Информатика. 2018;15(4):86-98.
For citation:
Cheremisinov D.I. PRALU language - the tool for verifying digital devices. Informatics. 2018;15(4):86-98. (In Russ.)