Kodkod: A Relational Model Finder

Authors:

Emina Torlak and Daniel Jackson

Publication Venue:

Tools and Algorithms for Construction and Analysis of Systems (TACAS), Braga, Portugal

When Published:

Mar 24 2007

Attachment	Size
tacas07-torlak.pdf	304.05 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

Search