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

Мова:

28.04

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