Why3 – A platform for deductive program verification

Comments

from Hacker News http://why3.lri.fr/
via

Comments

Popular posts from this blog

Ethical hacking chapters

Concurrency in Julia