Formal Software Design with Alloy 6 bookhaslab.github.io7 points·efm··1 commentOpen articleSaveView on HN