Alloy TCS usecase

From AtlanMod

Alloy TCS usecase

This Eclipse project contains a metamodel and a TCS for a subset of the Alloy language. Archive can be downloaded here.

Retrieved from "http://www.emn.fr/z-info/atlanmod/index.php/Alloy_TCS_usecase"
Resources