Nothing wrong with reposts, it's just useful to link to previous discussions for...

		ot 8 months ago \| parent \| context \| favorite \| on: Formal Methods: Just Good Engineering Practice? (2... Nothing wrong with reposts, it's just useful to link to previous discussions for context :)