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

, , , , ,

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