Alloy Community

User login

Relational Logic for Software Design

Home » Groups » MIT-SDG
alloy's picture
Speakers: 
Daniel Jackson
Location: 
Lipari Island, Italy
Date: 
Jul 18 2005

Lipari Summer School
July 18-22, 2005

Four lectures (all PDF colour slides):
http://people.csail.mit.edu/dnj/talks/lipari05/lectures/

Examples:
http://people.csail.mit.edu/dnj/talks/lipari05/examples/

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