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