Welcome to the web page of the project

Studies on formal modeling of software components. Applications on real world problems.

        CNCSIS TD Grant
        September 2007 - October 2008
        Romania