Повернутися до інформації про статтю
Технологія семантико-числової верифікації часопараметризованих паралельних програм для інформаційних і управляючих систем
Завантажити
Завантажити PDF