Alloy Community

User login

Relational Analysis of Algebraic Datatypes

Home » Groups » MIT-SDG
alloy's picture
Authors: 
Viktor Kuncak and Daniel Jackson
Publication Venue: 
Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2005), Lisbon, Portugal, 2005
When Published: 
Sep 5 2005


Attachment

Size
RelationalAnalysisDatatypes.pdf213.88 KB
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