%0 Conference Paper %1 conf/IEEEscc/ShegalovW08 %A Shegalov, German %A Weikum, Gerhard %B IEEE SCC (2) %D 2008 %I IEEE Computer Society %K dblp %P 525-528 %T Formal Verification of Web Service Interaction Contracts. %U http://dblp.uni-trier.de/db/conf/IEEEscc/scc2008.html#ShegalovW08 %@ 978-0-7695-3283-7

@inproceedings{conf/IEEEscc/ShegalovW08, added-at = {2023-03-24T00:00:00.000+0100}, author = {Shegalov, German and Weikum, Gerhard}, biburl = {https://www.bibsonomy.org/bibtex/260b60286f324a201525a004a92ddfb89/dblp}, booktitle = {IEEE SCC (2)}, crossref = {conf/IEEEscc/2008}, ee = {https://doi.ieeecomputersociety.org/10.1109/SCC.2008.67}, interhash = {64f9a79f697c4d39791f8f5fe55066cd}, intrahash = {60b60286f324a201525a004a92ddfb89}, isbn = {978-0-7695-3283-7}, keywords = {dblp}, pages = {525-528}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:52:03.000+0200}, title = {Formal Verification of Web Service Interaction Contracts.}, url = {http://dblp.uni-trier.de/db/conf/IEEEscc/scc2008.html#ShegalovW08}, year = 2008 }