Formal Software Design with Alloy 6 book haslab.github.io 7 points by efm 5 years ago · 1 comment Reader PiP Save Collapse all Expand all 1 thread jiehong 5 years ago Looks great!But is there any offline version (like ePub) available?