Formal Methods: Just Good Engineering Practice? (via phk) — discussion

#formalmethods