18c0693f

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


, , , , ,

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



Все публикации раздела