@inproceedings{shirali2008formal,
  author    = {Shirali-Shahreza, S. and Shirali-Shahreza, M.},
  title     = {Using Formal Methods in Component Based Software Development},
  booktitle = {Proceedings of the 4th International Joint Conference on Computer, Information, and Systems Sciences, and Engineering (CISSE 2008)},
  address   = {Bridgeport, CT, USA},
  month     = dec,
  year      = {2008},
  volume    = {3},
  pages     = {429--432},
  doi       = {10.1007/978-90-481-3658-2_75},
  url       = {https://link.springer.com/chapter/10.1007/978-90-481-3658-2_75},
}