Model-based verification with error localization and error correction for C designsRepinski, UrmasПрограммные продукты и системы = Programmnye produkty i sistemy = Software & systems2012 / p. 221-229 : ill

Верификация на основе симуляции с нахождением и исправлением ошибок для С-дизайновRepinski, UrmasПрограммные продукты и системы = Programmnye produkty i sistemy = Software & systems2012 / с. 229-237 : ил