A comparative evaluation of the Z, CSP, RSL, and VDM languages. - Mohammad Reza Nami; Fatemeh Hassani (ACM SIGSOFT Softw. Eng. Notes, 2009)

Suitability of Cloud Computing for Scientific Data Analyzing Applications; An Empirical Study. - Alireza Angabini; Nasser Yazdani; Thomas Mundt; Fatemeh Hassani (3PGCIC, 2011)