Tony Finch
dot@dotat.at
https://dotat.at/
https://dotat.at/:/MCZ5B.html
2017-12-24T23:44:25Z
Formal verification: the gap between perfect code and reality.
2017‑12‑24
Formal verification: the gap between perfect code and reality.
https://raywang.tech/2017/12/20/Formal-Verification:-The-Gap-between-Perfect-Code-and-Reality/
redirect
https://dotat.at/:/MCZ5B
blurb
https://dotat.at/:/MCZ5B.html
atom entry
https://dotat.at/:/MCZ5B.atom
wayback machine
web.archive.org
]]>