Proceedings of the First International Workshop on Formal Methods for and on the CloudAuthorsR. Behjati and A. ElmokashfiStatusPublishedPublication typeEdited BooksYear of publication2016Journal-PublisherEPTCSCitation key14265Google Scholar BibTex