## "RM-ODP part 2: Foundations" in Alloy

This paper presents the Alloy code for the formalization of “RM-ODP part 2: Foundations”. The formalization is defined and explained in the separate work.

Year:
2001
Keywords:
Laboratories:

Note: The status of this file is: Anyone