BibTeX record conf/icse/ChenT0LD14

• > Home > conf/icse/ChenT0LD14

@inproceedings{DBLP:conf/icse/ChenT0LD14,
  author       = {Manman Chen and
                  Tian Huat Tan and
                  Jun Sun and
                  Yang Liu and
                  Jin Song Dong},
  editor       = {Pankaj Jalote and
                  Lionel C. Briand and
                  Andr{\'{e}} van der Hoek},
  title        = {VeriWS: a tool for verification of combined functional and non-functional
                  requirements of web service composition},
  booktitle    = {36th International Conference on Software Engineering, {ICSE} '14,
                  Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014},
  pages        = {564--567},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2591062.2591070},
  doi          = {10.1145/2591062.2591070},
  timestamp    = {Mon, 26 Jun 2023 20:42:59 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/ChenT0LD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}