GRICES-00342

Technological and Scientific Cooperation Project between Portugal and the P. R. of China on Formal Foundations for Component-based Programming

Theory and Formal Methods at U.Minho