User Activity

No activity to display.

Personal Data

Username:
agaris
Joined:
2011-07-21 17:15:29

Projects

This is a list of open source software projects that Ana Garis is associated with:

  • Alloy2OCL   Last Updated:
  • AlloyMDA MDA support for Alloy Last Updated:
  • psm2alloy Transformation from UML Protocol State Machines to Alloy. Last Updated:

Personal Tools