Микроядро seL4. Формальная верификация программ в реальном мире +43 24.01.2019 15:47 m1rko 23 Информационная безопасность Софт Системное программирование Транспорт будущего Математика
Почему люди не используют формальные методы? +29 23.01.2019 20:09 m1rko 16 Программирование Математика
