Login
From:
Cryspen
(Uncensored)
subscribe
High Assurance Software Toolchain
https://cryspen.com/circus/
links
backlinks
Roast topics
Find topics
Find it!
Cryspen collaborates with the Prosecco team at Inria to develop a usable, robust, development environment and verification toolchain for security critical software.
