Alloy Community

User login

Subtypes for Constraint Decomposition

Home » Groups » MIT-SDG
Authors: 
Jonathan Edwards, Daniel Jackson, Emina Torlak, Vincent Yeung
Publication Venue: 
International Symposium on Software Testing and Analysis (ISSTA), Boston, MA
When Published: 
Jul 1 2004


Attachment

Size
p321-edwards.pdf335.8 KB
by JonathanEdwards

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