%0 Conference Paper %1 conf/icws/SalehKBW13 %A Saleh, Iman %A Kulczycki, Gregory %A Blake, M. Brian %A Wei, Yi %B ICWS %D 2013 %I IEEE Computer Society %K %P 332-339 %T Formal Methods for Data-centric Web Services: From Model to Implementation. %U http://dblp.uni-trier.de/db/conf/icws/icws2013.html#SalehKBW13 %@ 978-0-7695-5025-1

@inproceedings{conf/icws/SalehKBW13, added-at = {2023-12-12T21:51:19.000+0100}, author = {Saleh, Iman and Kulczycki, Gregory and Blake, M. Brian and Wei, Yi}, biburl = {https://www.bibsonomy.org/bibtex/2b3a8d22e1ab68a6133fd2ceee56d0fc3/admin}, booktitle = {ICWS}, crossref = {conf/icws/2013}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2013.52}, interhash = {43d9699ea667aa447c78718cda92286e}, intrahash = {b3a8d22e1ab68a6133fd2ceee56d0fc3}, isbn = {978-0-7695-5025-1}, keywords = {}, pages = {332-339}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T21:51:19.000+0100}, title = {Formal Methods for Data-centric Web Services: From Model to Implementation.}, url = {http://dblp.uni-trier.de/db/conf/icws/icws2013.html#SalehKBW13}, year = 2013 }