ИТ

Свободное программное обеспечение
Форматы данных
Децентрализация
Формальная верификация ПО