Alloy Community

User login

RM-ODP part 2: Foundations in Alloy.

Authors: 
Andrey Naumenko and Alain Wegmann
Publication Venue: 
EPFL-DSC Technical Report number DSC/2001/041, August 2001
When Published: 
Aug 1 2001


Attachment


Size
TR01_041.pdf18.54 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