|
|
|
SearchNavigationUser login |
Micromodels of Software Location: Michigan State University Date: Nov 13 2001 Distinguished Lecture Series Overview of the Alloy approach to modelling for a general computer science audience. 
|
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