%0 Conference Paper %1 conf/sose/StachtiariVKGK14 %A Stachtiari, Emmanouela %A Vesyropoulos, Nikos %A Kourouleas, George %A Georgiadis, Christos K. %A Katsaros, Panagiotis %B SOSE %D 2014 %I IEEE Computer Society %K dblp %P 47-58 %T Correct-by-Construction Web Service Architecture. %U http://dblp.uni-trier.de/db/conf/sose/sose2014.html#StachtiariVKGK14 %@ 978-1-4799-3616-8

@inproceedings{conf/sose/StachtiariVKGK14, added-at = {2023-03-24T00:00:00.000+0100}, author = {Stachtiari, Emmanouela and Vesyropoulos, Nikos and Kourouleas, George and Georgiadis, Christos K. and Katsaros, Panagiotis}, biburl = {https://www.bibsonomy.org/bibtex/208098fbc25314e37dc09edfd810468db/dblp}, booktitle = {SOSE}, crossref = {conf/sose/2014}, ee = {https://doi.ieeecomputersociety.org/10.1109/SOSE.2014.12}, interhash = {2247f27d8c33fd5cf46919b736119159}, intrahash = {08098fbc25314e37dc09edfd810468db}, isbn = {978-1-4799-3616-8}, keywords = {dblp}, pages = {47-58}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:22:59.000+0200}, title = {Correct-by-Construction Web Service Architecture.}, url = {http://dblp.uni-trier.de/db/conf/sose/sose2014.html#StachtiariVKGK14}, year = 2014 }