Simulating domain ontologies with Alloy 6

MAster assignment

Simulating domain ontologies with Alloy 6

Type: Master CS

Period: Start date: as soon as possible

Student: Unassigned

If you are interested please contact:

Background:
Alloy 6: See link for more information.