tagged-architectures

There are 1 repositories under tagged-architectures topic.

secure-compilation/when-good-components-go-bad
Coq formalization for "When Good Components Go Bad" paper
Language:Coq7 4 11