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