Material from SpringSim tutorial on Conceptual Modeling with Alloy
Primary LanguageAlloy
This reflects material presented at the SpringSim 2015 Conference on Conceptual Modeling with Alloy.