Explore projects
-
Bachelor thesis: Michael Hellstern
Updated -
Bachelor thesis: Tornike Khachidze
Updated -
Updated
-
resources / ADOxx Modules / ADoy
MIT LicenseADoy is a software tool and a workflow for dynamically integrating ADOxx and Alloy.
Updated -
Updated
-
Updated
-
-
-
-
-
-
-
-