Alloy Community

User login

Analyzing the Uses of a Software Modeling Tool

Authors: 
Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz Khurshid, and Darko Marinov
Publication Venue: 
6th Workshop on Language Descriptions, Tools and Applications (LDTA'06). April 2006. Vienna, Austria
When Published: 
Apr 1 2006


Attachment


Size
ldta06.pdf236.7 KB

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