Sajad Shirali-Shahreza, Mohammad Shirali-Shahreza. Using Formal Methods in Component Based Software Development. In Tarek M. Sobh, editor, Innovations and Advances in Computer Sciences and Engineering, Volume I of the proceedings of the 2008 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Inform. pages 429-432, Springer, 2008. [doi]
Abstract is missing.