Кафедра автоматизації проектування обчислювальної техніки

Мова:

28_04

Гурток «Методології верифікації цифрових систем»