Hacker News new | past | comments | ask | show | jobs | submit login
Not All Patterns, but Enough (2008) [pdf] (york.ac.uk)
37 points by espeed 5 months ago | hide | past | web | favorite | 1 comment



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




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

Search: