CompCert – A formally verified C compiler

Comments

from Hacker News http://bit.ly/12ziyHz
via

Comments

Popular posts from this blog