Тестирование софта - статьи



Использование формальных методов для обеспечения соблюдения программных стандартов


, , , , ,

Препринт Института системного программирования РАН (ИСП РАН)


Содержание  Назад  Вперед