Our extensive industrial collaboration enables us to do research with immediate application to software development practices in realistic settings.
Clafer Tools 0.4.2 Released
by Michal Antkiewicz on October 20, 2015
This is a major release of all clafer tools. For details, see Release 0.4.2 post.