|
|
|
SearchNavigationUser login |
Alloy: A Logical Modelling Language Location: Turku, Finland Date: Jun 4 2003 Keynote, 3rd International Conference of B and Z Users (ZB2003) A tour of Alloy, with an emphasis on the difference between Alloy and Z. Slides: http://people.csail.mit.edu/dnj/talks/zb2003/zb2003.noanim.pdf 
|
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