Linkopedia

i Bookmark del GL-Como

seL4

https://sel4.systems/

Microkernel verificato formalmente.

2020-10-22 19:07

security microkernel verifica formale

collection - lesana - lesanaweb