Towards a Small Model Theorem for Data Independent Systems in Alloy

Search

Authors:

Lee Momtahan

Publication Venue:

Proceedings of AVOCS04, Elsevier ENTCS. August 2004.

When Published:

Aug 1 2004

Attachment	Size
avocs04_momtahan.ps	438.22 KB

by anonymous

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