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

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


, , , , ,

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

Содержание раздела