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

#book #formalmethods