Верификация на основе симуляции с нахождением и исправлением ошибок для С-дизайнов
author
statement of authorship
Урмас Репинский
journal volume number month
No. 4
year of publication
pages
с. 229-237 : ил
ISSN
0236-235X
notes
Библиогр.: 11 им
language
vene
subject term
keyword
верификация на основе симуляции
диагностка ошибок
исправление ошибок
автоматическое исправление ошибок
отладка
Репинский, У. Верификация на основе симуляции с нахождением и исправлением ошибок для С-дизайнов // Программные продукты и системы = Programmnye produkty i sistemy = Software & systems (2012) No. 4, с. 229-237 : ил.