3 ms·
Moving Fast with Software Verification
- omouse 11y agoI like it, finally someone is talking more about real-world user-facing impact of software verification. Facebook is using OCaml and their partnership with INRIA is awesome
loading thread…
3 ms·