@inproceedings{challita:hal-01519831, TITLE = {{Towards Formal-based Semantic Interoperability in Multi-Clouds}}, AUTHOR = {Challita, St{\'e}phanie and Paraiso, Fawaz and Merle, Philippe}, URL = {https://inria.hal.science/hal-01519831}, BOOKTITLE = {{10th IEEE International Conference on Cloud Computing (CLOUD)}}, ADDRESS = {Honolulu, Hawaii, United States}, PAGES = {710-713}, YEAR = {2017}, MONTH = Jun, KEYWORDS = { Formal Verification ; Formal Language ; Multi-Clouds ; Interoperability}, PDF = {https://inria.hal.science/hal-01519831/file/Towards%20Formal-based%20Semantic%20Interoperability%20in%20Multi-Clouds.pdf}, HAL_ID = {hal-01519831}, HAL_VERSION = {v1}, }