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.

Enforcing Design Constraints with Object Logic

Home » Groups » MIT-SDG
alloy's picture


Attachment

Size
sas00.pdf198.39 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