Hacker News new | ask | show | jobs
Introduction to Pragmatic Formal Modeling (elliotswart.github.io)
1 points by sn9 89 days ago