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