Blog
About

6
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      Alloy: a lightweight object modelling notation

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Author and article information

          Journal
          ACM Transactions on Software Engineering and Methodology
          ACM Trans. Softw. Eng. Methodol.
          Association for Computing Machinery (ACM)
          1049331X
          April 2002
          : 11
          : 2
          : 256-290
          Article
          10.1145/505145.505149

          Comments

          Comment on this article