Thursday, August 2, 2012

ClaferIG Report and ClaferWiki

by Kacper Bąk
 
We added two resources to the website:
  • Clafer-based Wiki that aims at integrating informal documentation with more formal Clafer models.
  • ClaferIG report that explains what ClaferIG is, how it works, and what problems it solves.

No comments:

Post a Comment

Note: Only a member of this blog may post a comment.