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