DMCA

Correct-by-Construction Web Service Architecture

by Emmanouela Stachtiari , Nikos Vesyropoulos , George Kourouleas , Christos K. Georgiadis , Panagiotis Katsaros