# content
How to Find Bugs in Systems That Don't Exist (via jbauer) — discussion

#formalmethods #practices #video