AuthorsR. Behjati and A. Elmokashfi
TitleProceedings of the First International Workshop on Formal Methods for and on the Cloud
AfilliationCommunication Systems
StatusPublished
Publication TypeEdited books
Year of Publication2016
Number of Volumes1
Number of pages in book45
PublisherEPTCS
Citation Key24929