Микроядро seL4. Формальная верификация программ в реальном мире +43 24.01.2019 15:47 m1rko 23 Информационная безопасность Софт Системное программирование Транспорт будущего Математика
