SOFIA: An Algebraic Specification Language for Developing Services

Dongmei Liu, Hong Zhu, Ian Bayley. SOFIA: An Algebraic Specification Language for Developing Services. In 8th IEEE International Symposium on Service Oriented System Engineering, SOSE 2014, Oxford, United Kingdom, April 7-11, 2014. pages 70-75, IEEE, 2014. [doi]

@inproceedings{LiuZB14-2,
  title = {SOFIA: An Algebraic Specification Language for Developing Services},
  author = {Dongmei Liu and Hong Zhu and Ian Bayley},
  year = {2014},
  doi = {10.1109/SOSE.2014.14},
  url = {http://dx.doi.org/10.1109/SOSE.2014.14},
  researchr = {https://researchr.org/publication/LiuZB14-2},
  cites = {0},
  citedby = {0},
  pages = {70-75},
  booktitle = {8th IEEE International Symposium on Service Oriented System Engineering, SOSE 2014, Oxford, United Kingdom, April 7-11, 2014},
  publisher = {IEEE},
}