Kodkod for Alloy Users

Search

Authors:

Emina Torlak and Greg Dennis

Publication Venue:

First Alloy Workshop, co-located with the 14th ACM/SIGSOFT Symposium on Foundations of Software Engineering (FSE'06), Portland, Oregon

When Published:

Nov 5 2006

Attachment	Size
kodkodForAlloyUsers.pdf	182.38 KB

by emina

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