|
|
|
SearchNavigationUser login |
Unintentional Naming Location: Massachusetts Institute of Technology Date: Jun 26 2000 Lab for Computer Science Annual Retreat A brief talk describing Sarfraz Khurshid's case study of Intentional Naming using Alloy. 
|
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