Not All Patterns, but Enough (2008) [pdf] | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Not All Patterns, but Enough (2008) [pdf] (york.ac.uk)
		37 points by espeed on Nov 13, 2018 \| hide \| past \| favorite \| 1 comment

amelius on Nov 13, 2018 [–]

It seems to me that this can be applied in a broader way, for example to verify invariants.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact