Alloy Community

User login
  • warning: Parameter 1 to theme_field() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/theme.inc on line 170.
  • warning: Parameter 1 to theme_field() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/theme.inc on line 170.
  • warning: Parameter 1 to theme_field() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/theme.inc on line 170.
  • warning: Parameter 1 to theme_field() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/theme.inc on line 170.

Alloy: A Lightweight Object Modelling Notation

Home » Groups » MIT-SDG
alloy's picture


Attachment

Size
alloy-journal.pdf342.25 KB
by alloy

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte