3 ms·Practical Alloy: A hands-on guide to formal software design2 points by todsacerdoti 2y agograyswandyr 2y agoHi, I'm one of the authors this book and of version 6 of Alloy. Happy to answer any question.