Emmanouela Stachtiari, Nikos Vesyropoulos, George Kourouleas, Christos K. Georgiadis, Panagiotis Katsaros. Correct-by-Construction Web Service Architecture. In 8th IEEE International Symposium on Service Oriented System Engineering, SOSE 2014, Oxford, United Kingdom, April 7-11, 2014. pages 47-58, IEEE, 2014. [doi]
Abstract is missing.