@Inproceedings{EPTCS228.4, author = {Zaichenkov, Pavel and Tveretina, Olga and Shafarenko, Alex}, year = {2016}, title = {Configuring Cloud-Service Interfaces Using Flow Inheritance}, editor = {Behjati, Razieh and Elmokashfi, Ahmed}, booktitle = {{\rm Proceedings of the First International Workshop on} Formal Methods for and on the Cloud, {\rm Reykjavik, Iceland, 4th June 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {228}, publisher = {Open Publishing Association}, pages = {27-34}, doi = {10.4204/EPTCS.228.4}, }