РУАЭСТ (RUAEST)
|
ВЕРИФИКАЦИЯ НА ОСНОВЕ МОДЕЛЕЙ С ОДНИМ НЕОГРАНИЧЕННЫМ СЧЕТЧИКОМБашкин В.А.
Информационные системы и технологии, 2010, 4, С. 5-12
|