Xavier Leroy on programming, languages and formal verification (via xvw) — discussion
#formalmethods #ml #video
