bio

• Список публикаций
• Проекты
• Автоматическая проверка спецификаций MSC.
• Автоматическая проверка спецификаций MSC (дальнейшее развитие toolchain).
• Примеры.
• Автобиография
• Блог
• Контакты