открыть
полностью
в новом
окне
06 мая 2023
22:31

Проекту seL4 присуждена премия ACM Software System Award