Practical Alloy: A hands-on guide to formal software design (via hwayne) — discussion
#book #formalmethods
