Ahmed Elmokashfi
AuthID: R-00H-1NB
1
TITLE: Proceedings of the First International Workshop on Formal Methods for and on the Cloud, iFMCloud@IFM 2016, Reykjavik, Iceland, 4th June 2016
AUTHORS: Razieh Behjati; Ahmed Elmokashfi;
PUBLISHED: 2016, SOURCE: iFMCloud@IFM, VOLUME: 228
AUTHORS: Razieh Behjati; Ahmed Elmokashfi;
PUBLISHED: 2016, SOURCE: iFMCloud@IFM, VOLUME: 228
INDEXED IN: 
DBLP
DBLP