3 ms·
Where can I get a good alloy “getting started” intro tutorial?
by faeyanpiraat 5y ago
Where can I get a good alloy “getting started” intro tutorial?
- grayswandyr 5y agoHi. Alloy 6 co-author here. We've been writing a tutorial/book (which we hope to publish on paper too), you may find its contents interesting: https://haslab.github.io/formal-software-design/ https://haslab.github.io/formal-software-design/