Proceedings of the First International Workshop on Formal Methods for and on the Cloud

Authors	R. Behjati and A. Elmokashfi
Title	Proceedings of the First International Workshop on Formal Methods for and on the Cloud
Afilliation	Communication Systems
Status	Published
Publication Type	Edited books
Year of Publication	2016
Number of Volumes	1
Number of pages in book	45
Publisher	EPTCS
Citation Key	24929

Search form