Alloy Community

User login

Modelling and Analyzing Software Abstractions

Home » Groups » MIT-SDG
alloy's picture
Speakers: 
Daniel Jackson
Date: 
Mar 21 2005

Distinguished Speakers in Software Engineering Series
Microsoft Research

PDF: http://people.csail.mit.edu/dnj/talks/microsoft05/microsoft05.pdf

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