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

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

Authors
R. Behjati and A. Elmokashfi