...

четверг, 24 января 2019 г.

[Перевод] Микроядро seL4. Формальная верификация программ в реальном мире

на
Ярлыки: ,

Комментариев нет:

Отправить комментарий

Подписаться на: Комментарии к сообщению (Atom)