@inproceedings{41b23ca92f614d26b2534fce93ec7778,
title = "Addressing Client Needs for Cloud Computing using Formal Foundations",
author = "Andreea Buga and Sorana-Tania Nemes and Atif Mashkoor",
year = "2018",
month = jul,
language = "English",
pages = "264--285",
editor = "\{Atif Mashkoor and Qing Wang and Bernhard Thalheim\}",
booktitle = "Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday",
publisher = "College Publications",
}