%0 Conference Paper %1 conf/apscc/YangMZL10 %A Yang, Qing %A Ma, Dianfu %A Zhao, Yongwang %A Li, Zhuqing %B APSCC %D 2010 %I IEEE Computer Society %K dblp %P 269-276 %T Towards a Formal Verification Approach for Implementation of Web Services Specifications. %U http://dblp.uni-trier.de/db/conf/apscc/apscc2010.html#YangMZL10 %@ 978-0-7695-4305-5

@inproceedings{conf/apscc/YangMZL10, added-at = {2023-03-23T00:00:00.000+0100}, author = {Yang, Qing and Ma, Dianfu and Zhao, Yongwang and Li, Zhuqing}, biburl = {https://www.bibsonomy.org/bibtex/2e10e6e149add69b44ec8768d5e300984/dblp}, booktitle = {APSCC}, crossref = {conf/apscc/2010}, ee = {https://doi.ieeecomputersociety.org/10.1109/APSCC.2010.14}, interhash = {2cdc6bca808595fb09bd130fcee7da0a}, intrahash = {e10e6e149add69b44ec8768d5e300984}, isbn = {978-0-7695-4305-5}, keywords = {dblp}, pages = {269-276}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:35:27.000+0200}, title = {Towards a Formal Verification Approach for Implementation of Web Services Specifications.}, url = {http://dblp.uni-trier.de/db/conf/apscc/apscc2010.html#YangMZL10}, year = 2010 }