Alloy Community

User login

Basic Laws of Object Modeling

Authors: 
Rohit Gheyi, Tiago Massoni, and Paulo Borba
Publication Venue: 
Specification and Verification of Component-Based Systems (SAVCBS 2004), a workshop affilitated with FSE
When Published: 
Oct 31 2004


Attachment


Size
GheyiMassoniBorba.pdf160.46 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