%0 Conference Proceedings %1 conf/wsfm/2009 %B WS-FM %D 2010 %E Laneve, Cosimo %E Su, Jianwen %I Springer %K dblp %T Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers %U http://dblp.uni-trier.de/db/conf/wsfm/wsfm2009.html %V 6194 %@ 978-3-642-14457-8

@proceedings{conf/wsfm/2009, added-at = {2019-05-14T00:00:00.000+0200}, biburl = {https://www.bibsonomy.org/bibtex/2663fa3def95024065131ae72932e1701/dblp}, booktitle = {WS-FM}, editor = {Laneve, Cosimo and Su, Jianwen}, ee = {https://www.wikidata.org/entity/Q56501681}, interhash = {16ce6fa5cbddefc27749257acdc5caf2}, intrahash = {663fa3def95024065131ae72932e1701}, isbn = {978-3-642-14457-8}, keywords = {dblp}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T18:57:23.000+0200}, title = {Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers}, url = {http://dblp.uni-trier.de/db/conf/wsfm/wsfm2009.html}, volume = 6194, year = 2010 }